Chat platform

[Ethan C]

Hi everyone,

At this point, what do we want to use as our chat platform? As far as I 
know, we have a

* IRC channel (I don't think we have the chat history logged)

* Zulip instance

* Discord server

Last summer, I and Greg planned to use the Zulip server, but it seems to 
be inactive now.


Thanks,

Ethan Charoenpitaks