The last five to ten years of activist similarly told us these things don't matter though. Doesn't matter that "blacklist" or "master" has nothing to do with Black people or slavery. We had to change them to more inclusive terms anyway.

>The term "Gulf of Mexico" has been in common use for over 400 years, long before the US was even a thing.

The exact same was said about "blacklist" and "master", among others.

>No one had a legitimate problem with the name.

Someone did, evidenced by the change. Or are you saying we shouldn't give in to the activists pushing this change? How ironic.