Happy New Year, everyone!

This is just a small post to let you know that our old Discord server has effectively been abandoned.
Discord has banned the user IronDuke, who was the sole administrator of this server and all of our requests to transfer ownership have been ignored.

There's a real possibility that the server might get deleted soon, due to being unmaintained and unmoderated.
We have set up a new server with a moderation team, so we'll (hopefully) never run into this issue again.

Please join it here: https://discord.gg/4CtwXNtRHh