Sorry, I think that's the right thing to do. And should have been done a lot erlier. Like 10 years ago when the list first started. And I'd also consider firing everyone that contributed names to that list, and that I can find public conversations making fun of people names. I don't care if they are male, white, black or whatever. That doesn't matter. Making fun of peoples names, weight, religion or whatever is wrong. No discussion. You're fired for this.
This is the real shameful thing here, from my biased european point of view. This is the intolerable part.
Now, shutting these discussions off *from work* is the right thing to do in my opinion. Because they literally have no end, and the company is a business, which needs to build products, which needs to sell, so you have your money. If you spend your day discussing politics, you don't make money.
Do you want to discuss politics? Do you really want to discuss these societal problems? I'm all in for it, lets grab a beer at 6am pm at the pub across the street and come up with a solution for these problems. Let's found a political party or an association or whatever we want to do to fix problem.
At least here, in europe, the moment you propose to do these things out of work hours, you 1) See 80% lose interest in their principles and prefer to go home and enjoy their kids and 2) You get to meet with the 20% people with the real interest in fixing things for a better world.
I insist in my opinion. It is not that these things should not be talked about, dismissed, or whatever. These are important things for the future. It is that your workplace *is not* the place for this.