Feature Request: Export as SVG

Exporting seems to just export a PNG, and a low-res one at that. Would be nice to be able to export an SVG as well, as it’d scale nicely for posting in the Show and Tell category, or on other social medias.