Thanks! We're going to look into that soon https://github.com/mapbox/mapbox-gl-js/issues/9945