Re: New HTML exporter (was a feature request)

[Ihor Radchenko]

Timothy <tecos...@gmail.com> writes:

> Not something I have time to investigate now, but in a month or two (or
> three 😛) I might take a look.

I am bumping this. Just in case ;)