That is irrelevant. It doesn't require chat messages to be banned for hate speech.
Someone found the right way to phrase a report or are just relying on support to mess up on one of the many reports being sent to get them banned. It's not like the player being banned was on the same server as the people reporting them.
Well, then it's time to download a crack.