Comment by frank13

Happy to hear. No plans for SVG export. Have not found any good HTML to SVG tool. Any suggestions?