Manpages of mypy in Debian trixie