Thanks for the suggestion, but I think I'll stick to simply maintaining the
PDF version unless there's evidence of really strong demand for it in HTML
as well. If it turns out there is, I may revisit your suggestion, but I'd
also look at other tools for producing the HTML (using Page Plus to do it
was just an experiment, after all).
Perhaps I'm stating the obvious, but wouldn't it be a good idea to look at
the tools which convert HTML to PDF, and the tools which convert PDF to
HTML, and then decide upon a format for your master copy, based on which
conversion you like best of both bunches? I sort of assume that conversion
from PDF to HTML would be cleaner than the other way around, but I think I'd
look at both groups of conversion tools before I decided upon a master
format.