> When was the last HN thread about a building named after someone undeserving? Or really any discussion about a routine honorific misapplied? Anything remotely

> When was the last HN thread about a building named after someone undeserving? Or really any discussion about a routine honorific misapplied? Anything remotely similar? Uhm? Some states even renamed Columbus Day. It is not simply "remotely similar", a national holiday is much more prominent than a building.