Manpages of src:proalign in Debian stretch