Unless otherwise specified, `tools/run-mypy` will right now only check annotations in core files of the `zulip` package.