since we have dvisvgm Ok, good.
Another question: does it still make sense to use Dvips and GS for PNG
conversion? Shouldn't we use Dvipng by default? It produces much better
results.
dvips|gs is probably considerably more widely available than
dvipng in principle, but not among people using our latest tex4ht.
So by all means, go ahead and change things to use dvipng. I'll wait for
that to update TL ... --thanks, karl.
