Manpages of src:myproxy in Debian experimental