If your application or tool does not support gzip-compressed GeoJSON files, below are several different ways I personally used to access/unzip the data. import geopandas as gpd from io import StringIO ...
A highly efficient JavaScript library for slicing GeoJSON data into vector tiles on the fly, primarily designed to enable rendering and interacting with large geospatial datasets on the browser side ...