
thanks for the pointer!
i managed to extract the coordinates out of the 2.5 MB geojson trip file, that got micropubed to my site. that’s still around 500 KB of coordinates. i think simplifying those coordinates myself would be a little tough for my …