Just as a general update, we are now using this discord https://discord.gg/f6n4B8