Which looks to be an Electron app, so there's a browser engine doing the rendering. Can I save a diagrams.net/drawio-desktop drawing into a file, and convert that file into an SVG in a lightweight batch job?