text: Actually I'm puzzled because we also have https://www.openstreetmap.org/way/255096429#map=18/51.77029/0.09989&layers=N which I suspect should be the true extent of the college grounds, rather than just the building https://www.openstreetmap.org/way/229208178#map=19/51.77060/0.09992&layers=N which is curiosly mapped as a school rather than a college. Which is it, a school or a college?