Discord is suing Ruben Sim over a bot that bans pedophiles. What's /v/ thoughts on this?