Board Thread:General Discussion/@comment-28441067-20180705150000/@comment-28441067-20180706123141

The current Discord server seems to be inactive. Should we create a new one or advertise current server?