Shame the university takes itself so seriously. The illustrative example of overloading would have been pertinent to his subject of expertise.

I mean, I like puns but they're a flash in the pan. Jokes get old after a while and you don't want to embed them in something fairly permanent like a building name.

This particular word for the oldest profession goes back to Old English. I am fairly sure it would outlive the building.

If the problem is when the joke lives on amusing undergrads long after you've tired of it, that just makes it worse.

Wait until they hear about what Magpie Lane in Oxford used to be called.

https://en.wikipedia.org/wiki/Magpie_Lane,_Oxford

"Surely you've all heard of the Hoare house on campus?" seems like a pretty timeless way to a) keep people from dozing off during that bit of lecture b) cause a whole bunch of people to remember who this guy was and what he did.

"Hoare House" would trigger millions of idiots, from rude little children to pontifying alpha ideologues. In perpetuity.

The University was correct in saying "nope" to the endless distractions, misery, and overhead of having to deal with that.