Would it be possible to add an export option to GeoJSON? It's not difficult to make it if you have the data, but SVG does not always translate cleanly to it and my converter tool is giving me ok, but not perfect results.
I'm asking because I am working with GIS systems and want the actual polygon data to import. SVG doesn't work in that context.