BTW the windows help converter doc2html.c would probably be a good starting point for a converter to plain HTML, too.