Once https://github.com/mapbox/mapbox-gl-js/pull/9607 lands in master, we need to cherry-pick the commit in the next release so these changes are reflected in our documentation.