Hi Gunnar,

Gunnar Wolf <gwolf@gwolf.org> writes:

> Is this bug still present in the new exporter?

I don't think so.  Here is a screenshot of the HTML rendering
with the new exporter.