Manpages of src:diamond-aligner in Debian stretch-backports