The user edit: Making manuals easier to use | IEEE Journals & Magazine | IEEE Xplore