Few times ago vincel called me all sort of name, and he was trying to be offensive, in lobby chat. I'm glad he wasn't banned for this cause he's still a player you can choose or not to join game with. I could have choose to mute him and that would have been it. I didn't because his insults where just hilarious anyway, he was calling me underdog or alike for not sharing floating resources in a game I sent him 23k.
When a noob get insulted, in case he is a kid, I do my duty to indicate how he can mute the offender, so problem can be solved without the need of some kind of Safe Space enforcement.