This manual was written using Emacs, with PSGML mode, under the DocBook XML schema. OpenJade was used to process the XML into HTML.