Has anyone created a discord server for planetice yet? If not, any opposition to me setting one up for us?
It's very handy. Especially being able to tab between servers like you switch rooms in IRC. It's also getting quite popular in several big communities.