It should be part of #45, but extracting to its own issue as the rest of CityJSON v1.1 support should be fine for most use cases so far.