See https://github.com/zulip/zulip/pull/19968. Signed-off-by: Anders Kaseorg <anders@zulip.com>
Part of #683.