Hello, I'd like to be able to find the max value of a common property of all of the associated elements in the geobuf file. Is there a way to open the file in geopandas or parse the file in another way to search for the associated properties? I've tried converting back to a geojson, but it is quite slow for my use case.