This plugin allows you to import/export maps to JSON. To open a JSON map, make sure you are looking at all files in the file picker (not just .bin files) Saving maps as JSON files is disabled by default (they are hefty.) To enable/disable this, go to Edit > Export Map to JSON