Thanks for this repo. Congrats on 1st issue :) We are also working on the similar web app with different technologies, but we can switch to this app.
As we tested our app with 35K+ features, we have tested it with this app and it is not working as performant as your demo. For big files, you can switch from GeoJSON to Vector Tiles with https://github.com/mapbox/geojson-vt library before adding to MapBoxGL map.
Your opinions are important for us, may be we can join our repos together in the future to add more features in a single app.
Thanks again for this great app.
A.