I gave up trying to find why the pure svg method does not resize
with tex4ht anymore. If it did so once, surely we can make it do so again. Michal? Unfortunately I can't begin to guess which change made it fail. Thanks for the report and all the work. -k
