Tools to convert between map.bag and GeoJSON - View it on GitHub