So they've started demolishing it, have they? Thanks for the update!

I've dropped a couple of notes to remind me to fix the 400/U1 bus route relation, and retag/relabel the old campus grounds when it all kicks off properly.

https://www.openstreetmap.org/#map=16/51.7499/-1.1308&layers=N

Feedback welcome, if you know the area!