I think it's likely the anonymous note creator was referring to the dining hall, but they have not clarified.   It isn't usual practice to remove building names from buildings where the previous use has ended; a town next to me has various 'Foo Bank' names, etched in stone on the building -- but the bank is long gone.

Given that the original note was just one word -- and can't be acted on anyway, given the lack of acceptance of CT -- and that there's been no followup, I'm going to close this.

Anonymous should feel free to sign up for OSM, accepting the CT, and create a new note that clearly explains how the contents of the map database is incorrect or incomplete.