My implementation of GeoJSON export