> Do both of these approaches work OK with producing sane-looking HTML as > well as PDFs? I have not experimented with HTML export with highlight, but I think it should be possible to add a converter to make highlight produce html output.
> Are then any examples of output from your 'highlight' approach, Gunnar? See attached file
ex.pdf
Description: Adobe PDF document