To reduce the file size of your data.geojson by skipping points (decimation), you can use the following Python script. This script iterates through the geometries (LineStrings, Polygons, etc.) and sam