As far as joining / collaborating, where do you guys communicate in general? Are you on GitHub? I assume you have a Discord server or something?