infiniband-diags(8) on Linux

The text c124e369dee8, as Debian 9 (Stretch) shipped it.

infiniband-diags(8) on Linux now