Comment by neals

Makes me wonder if moving away from discord back to IRC would be a fun move. But I think we'd miss mobile access and accounts on different devices maybe? Any thoughts?