mypy

63f2fed5 - Add docs for no_site_packages config option (#8932)