Man pages matching name ibtracert in section 8:

ibtracert.8.en	debian 10 / infiniband-diags
ibtracert.8.en	debian 11 / infiniband-diags
ibtracert.8.en	debian 12 / infiniband-diags