HTML web pages; html2man cut a bunch of them off for no reason. Tweak
up the html generation process a bit and add some docs at the top of
the script to remind me how to use this script when I come back to it
again in 6 months...
This commit was SVN r23877.