A smarty-pants Zulip bot.