Technical manuals (e.g. maintenance, user, training, operations, etc.) published in electronic format are becoming more and more popular than paper based manuals for their interactivity, convenience and ease of use. Today’s paper-based manual/technical documentation is no long...