Neither here nor there, but my alma mater (TCNJ) renamed a building a few years ago - from "Loser Hall" to "Trenton Hall". Paul Loser was the superintendent of the Trenton school system in the early 20th century, and he was in support of segregation of black people into separate school systems. So, a reasonable renaming I think. But renaming it Trenton is itself problematic - Trenton is named after William Trent, a merchant who became one of the richest men in Philadelphia by trading, among other things, literal boatloads of slaves, which seems strictly worse than believing "merely" in segregation.
I think the most silly version is that King County in Washington, named after a pro slavery vice president, was renamed… to King County, in honor of Martin Luther King Jr.
That's the least silly - it cost nothing in confusion and chaos, they slowly replaced the branding, and (almost, unless you really, really hate philanderers) everyone agrees the new subject was a great man.
