Convert draw.io Files to Production-Ready SVG (Without the Default Look)

draw.io's Export → SVG dialog ships a 400 KB blob of embedded fonts and foreign-object text. The path from cleaner native exports to treating the .drawio XML as source and re-rendering it.