Manpages of src:monkeysign in Debian stretch