When I lived in Orlando there was a place called downtown Disney. The renamed it to Disney springs. All the locals still called it downtown Disney.

It’s not easy to just rename something. I can declare from the rooftops that octopus are now called señor Squiggly-doodles but people aren’t going to call it that. It’s still the Gulf of Mexico. It’s still Lake Ontario.