Manpages of src:seqan2 in Debian stretch-backports