Dealing with trolls

We had an incident with one of the worst kind of trolls tonight - you know the kind, the "I'm not a troll," and "worked for servers with thousands of players," type. Yup, the kind who ended up insulting our dev (that's you wd), and then descending into making racist remarks and then derogatory remarks against women and LGBT individuals. And then, of course, also the type to log in character after character with different IP's and to say all kinds of crap through Discord. All while saying he was here to help! Go figure!

So, I would just like to remind everyone that it does not matter
a) who these trolls say they are,
b) whether they self-identify with, or deny, being a troll (duh), and
c) what kind of crap they actually say besides the derogatory remarks,
if ANY individual makes racist or demeaning statements against individuals from neutral or minority groups, they are TROLLS.

They could claim to be, and even actually BE, the pope, if they make such remarks they are TROLLS!

And if you shall encounter such trolls, do NOT engage them. Not on the issue of their trollingness nor on their seeming "legitimate" comments. And if I ever do not practice what I preach right away myself, please, do as I say, and not as I do. I will, eventually, get to just trying to get rid of them, however, by that time I notice sometimes people are well into conversing with the trolls and it makes extricating them even all that more difficult.

I also changed the settings in the Discord config to sync up with the server, however, it doesn't seem to do what I set it to. So, if wd or Seansbar could look into it, that would be very much appreciated.

Thank you!
Emp