If email is too high-effort, there's a chat thing at https://ehlab.zulipchat.com.

At some point we want to move to hosted? I think? w/ LDAP or something. There may be a technical blocker.

(people who understand this please fill this in)