It's an interesting commentary that often the most straightforward way to convert from HTML to another format ... is to dump it straight to ASCII and add in the tagging manually.

I've done this for even very long documents (book length). Given the choice of manually proofing or manually editing, the latter generally seems preferable. Either way I've got to Read The Whole Damned Thing.