Ref - mapbox/mapboxgl-jupyter#67

Mapbox GL JS is an open-source WebGL-based map rendering SDK. It can specifically render much, much larger geojson data than leaflet on the fly because:

1. It creates vector tiles on the fly from geojson data using geojson-vt
2. It renders tiles only in the viewport, with automatic simplification based on zoom level, using WebGL instead of HTML canvas elements

Consider switching Leaflet.js to Mapbox GL JS for jupyter-renderers geojson extension to improve the user experience working with larger geojson datasets.