Yes but that requires an extra step and we're also using the SVGs with Asciidoc which can generate HTML too. I don't think it even supports PDF images. We'd basically have to do what Draw.io did - export to PDF (very slowly), then covert it to SVG with Inkscape. Gross.