I vaguely recall the reason the Discord integration has vanished (the thing that lets people link their accounts here with Discord so they get the Members label automatically on the chat server; used to be in the account settings somewhere) being mentioned at some point, but now I can't find it. It's a known issue, right? Do we plan on bringing it back once we can work out what was wrong with it?