Amazing works ! Great job ! I have a question, is the json export is a geojson valid ? because when i try to use it with QGIS, it doesnt seem to understand the format.
thanks ! I use the php script of Tom (https://itch.io/profile/lemuriaorg) to convert your json export to valid geojson. By the way where the hack did you learn that language of your source code ? :P