Not yet.

We'll probably do most of the dev-talking on github,
and maybe set up a Slack.
Though I have mixed feelings about Slack.

We might try discord.

But one step at a time.