Should we add the DiscordIntegrator back onto the wiki? A while ago, we had set up DiscordIntegrator for this wiki's discord server. A troll discovered the link and raided the discord server with over 20 accounts, which caused us to delete the DiscordIntegrator. But since it's been a few months. So, what are community's ideas?