Man pages matching name bpftune-ip-frag in section 8:

bpftune-ip-frag.8.en

debian 13 / bpftune