Problem

We currently use Leaflet.js for our GeoJSON renderer, which has performance issues with large datasets.

Proposed Solution

We could use MapLibre GL and in particular @neocarto's geoverview, which provides some nice information such as polygon area or line length.

See https://observablehq.com/@neocartocnrs/geoverview.