I'm pretty sure they are using this one


geojson: https://tasks.smartcitiestransport.com/api/v2/projects/71/tasks/?as_file=true

from

https://tasks.smartcitiestransport.com/projects/71#description

I just checked and the buildings are cutoff exactly along the borders of "taskId=172"