[lukeqsee]

https://github.com/maplibre/maplibre-gl-leaflet exists!

It's not perfect, and you don't see the full benefit of a WebGL renderer, but if you want to keep using a Leaflet API, it's great.