Manpages of src:mypy in Debian testing