This is pretty cool! Have you considered CityJSON (https://www.cityjson.org/) over (or in addition to) GeoJSON export? Using a standard specification for city buildings should lead to better interoperability between different tools!
This is pretty cool! Have you considered CityJSON (https://www.cityjson.org/) over (or in addition to) GeoJSON export? Using a standard specification for city buildings should lead to better interoperability between different tools!