Not sure if this is the right repo to report bug about the mapbox gl js doc, but doing anyway.
(StyleSpec Docs for Geojson Source)[https://docs.mapbox.com/mapbox-gl-js/style-spec/#sources-geojson]
There are two sections of geojson source in the doc. The first geojson source doc list properties like
tiles/scheme/url (properties from TileJSON). And I guess the first one is wrong.
mapbox-gl-js version:
browser:
1.
2.
3.
It looks like the GeoJSON and Vector source docs got mixed together for some reason. I don't see anything wrong with the style-spec JSON. Could it be something with Batfish or the page shell @mapbox/docs?

@ryanhamley looks like this section got duplicated on the page:
https://github.com/mapbox/mapbox-gl-js/blob/949afdcaa7bcc5c003026a854eaa00c07eb6b7e9/docs/pages/style-spec.js#L371
I'll create a PR to fix
Fixed in #7875 thank you for reporting!
Most helpful comment
@ryanhamley looks like this section got duplicated on the page:
https://github.com/mapbox/mapbox-gl-js/blob/949afdcaa7bcc5c003026a854eaa00c07eb6b7e9/docs/pages/style-spec.js#L371
https://github.com/mapbox/mapbox-gl-js/blob/949afdcaa7bcc5c003026a854eaa00c07eb6b7e9/docs/pages/style-spec.js#L493
I'll create a PR to fix