geojson-shave reduces the size of GeoJSON files by:<p>- Truncating latitude/longitude coordinates to the specified decimal places.<p>- Eliminating unnecessary whitespace.<p>- (Optionally) replacing the properties key's value with null/empty dictionary.
Have you thought about adding a simplification algorithm such as Ramer-Doublas-Peucker [0] or Visvalingam–Whyatt [1]? I've used <a href="https://mapshaper.org/" rel="nofollow">https://mapshaper.org/</a> to do GeoJSON path simplification before and those seem to work very well. For applications which want to maintain path accuracy while reducing the number of waypoints that may be more effective than truncating the decimal places<p>[0] <a href="https://en.wikipedia.org/wiki/Ramer%E2%80%93Douglas%E2%80%93Peucker_algorithm" rel="nofollow">https://en.wikipedia.org/wiki/Ramer%E2%80%93Douglas%E2%80%93...</a><p>[1] <a href="https://en.wikipedia.org/wiki/Visvalingam%E2%80%93Whyatt_algorithm" rel="nofollow">https://en.wikipedia.org/wiki/Visvalingam%E2%80%93Whyatt_alg...</a>