They did not leave, check the Telegram group. The discord is not officially a channel for the Dev team per the first post on this chain.