A bot that matches random members of a Zulip (open-source version of Slack) channel to have coffee with each other.