Possibility to export regions as a shapefile #2
Description
It would be awesome to be able to export explored/mapped regions as a shapefile, so it would be also possible to import them in third-party services or any GIS based software around.
{{ message }}