Manpages of src:pydoctor in Debian stretch