Ok yes, sure but I've seen the topic brought up multiple times on that Discord and that's always the way it goes.
As I've edited my post above to say, I'd recommend using the Discord reporting functionality to alert moderators to users resorting to personal insults.
"You may call it 'nonsense' if you like, but I've heard nonsense, compared with which that would be as sensible as a dictionary!"
