Even putting that in the description might be redundant, since it is already tagged with bridge=boardwalk

I haven't heard that this trail is named "Boardwalk Trail" (even though it is indeed a boardwalk). Do you have a source for that?

sorry the bounding box ended up being bigger than expected. I mainly worked on Phillips Recreation Center and the immediate surroundings.

No problem

In order to get iD to let me change the shape of the parking garage, I had to remove the relation between the main Krannert building and the garage, but that could be added in later...

reverted everything in changeset/155962696

reverted everything with changeset/155962696

unfortunately some of the dragged nodes had become glued to the Illini Union building so that needs to be fixed

I accidentally messed up some ways. I am working to fix this...