Greetings, Is the HTML version of the documentation available for download somewhere (in a single archive file, that is) or do I need to use wget to mirror it? -- Hannu Please don't send copies of list mail