GeoJSON extracts of OpenStreetMap data.