I'd like to export the boundaries (perimeter) of a place. For instance, consider the boundaries of the University of Illinois at Chicago at this link.
I see it's pretty easy to export an OSM file. But how can I export only that red line (perimeter)?
I don't need a script to do that, even a manual solution would be fine. I tried to navigate the UI for quite a time, but I couldn't find a way.
My ultimate goal is to convert the boundaries to a GeoJson.