This manual was produced using LYX, which generates LATEX output, and converted to pdf and also to html using latex2html. The LYX file is included in the same directory.