Inkscape is used here to export these files.

https://inkscape.org/
