We need to document `--no-coror-output` and `--no-error-summary`. This is a follow-up for https://github.com/python/mypy/pull/7425