Does Sphinx (or any other automated-documentation tool) read the MyPy annotations, or would I have to type them in twice, in different syntaxes, if I wanted types in my docs + linting?

Or does type documentation not matter that much, once it's being enforced by a tool?

Why not put type annotations in docstrings?

Does mypy see any performance improvements over vanilla python (because types are static)?