Export in geojson ?

Thank you very much for your work, very interesting !

When we share and export data, you create a json file.

Consider to create a geojson file ? I think to a link with umap http://umap.openstreetmap.fr/fr/