This document was generated on 25 November 2000 using the following hackery. First, a Perl script munged the original marked up text into a Texinfo file, but with some additions for use with HTML that are different from the Texinfo version (e.g. using green colouring for new added material, and numbering the chapters and sections). Then, using the texi2html translator version 1.52, it was turned into HTML. Afterwards, another Perl script post-processed each HTML file. This set the colour scheme, re-enabled some HTML that was passed through with different tag markup (so it wouldn't get escaped), and converted an escape sequence into a full stop in chapter and section headings (because you can't get one of them through in the normal manner). Phew! Amazing it works at all, really.