This manual was produced using open-source tools in the DocBookx version 4.2 format as a single-source document and converted to PDF and HTML formats using xslt. PDF documents were sent directly to the printer.