Manpages of src:mypy in Debian experimental