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