Automatically generated via new download script, now with controlled float precision
Extended download and conversion script, now generates geojson version