we want to keep the geoJSON as small as possible, to speed up visualization.