Manpages of src:infiniband-diags in Debian stretch-backports