These were not correctly interacting with the Zulip API, and improved annotations in the API bindings are now actually being type-checked.