Re: [O] Request: change SVG embedding in exported HTML

[Jarmo Hurri]

It looks like we can ignore my suggestion in this thread, and take the
(extremely easy) way out suggested in the thread with title "Scaling
HTML-exported SVG".

Jarmo