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.