Manpages of mypy in Debian unstable