Man pages matching name needle-ibf in section 1:

needle-ibf.1.en

debian 12 / seqan-needle