(** Example Zulip bot demonstrating the bot framework *)