Working with users to design online documentation | IEEE Conference Publication | IEEE Xplore