mypy

gh-137113 docs: note readline no longer supported in REPL after 3.13 … #19036

Job	Run time
Run mypy on Tools/clinic	18s
Run mypy on Tools/peg_generator	18s
Run mypy on Lib/test/libregrtest	18s
Run mypy on Tools/cases_generator	17s
Run mypy on Tools/build	17s
Run mypy on Tools/jit	19s
Run mypy on Lib/tomllib	17s
Run mypy on Tools/check-c-api-docs	16s
Run mypy on Lib/_pyrepl	23s
	2m 43s

Provide feedback