Manpages of proalign in Debian testing