This document was generated on 11 May 2001 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.