The pdf version of the user documentation is converted from the html version.
Note: each file cotnains a Table of Contents at the end of the file.