Should we smooth the map

[peterdudfield]

Should we smooth the map in order to reduce the size of the geojson, this would reduce the size and making loading speed faster

The map is here

Its currently 20MB, but with some smoothing, Im sure we could make this smaller

Ideas how to do it

• open the map with geopandas, use a smoothing function and save it
• run app and see how smoothed it is
• Could plot or see in app, 3 different levels of smoothing and see comment here, so we can see which one is best to use