Right now we don't support export to SVG, just JSON. However, if anyone wants to embed diagrams in their poster/paper, this is necessary.