Earlier quoted context omitted.
What other alternatives exist? I know now: * openlayers, but vector tiles have no web GL support there * Procedural GL JS * tangram * deck.gl (from Uber) * harp.gl (from HERE Maps)
Openlayers has some prototype webgl support that's a bit promising. I enjoyed working with it (but hate working with buggy webgl in general). Leaflet is also great. If you're doing any sort of front end GIS I recommend openlayers above all else including mapbox. But I suspect 99% of users just need basic maps. Leaflet is great for that.
They removed this support in some previous version, I think.
Or do you have a link to a pull request or issue?
(IMO Leaflet is dead now that the creator is working since several years for Mapbox)