Man pages matching name instr in section 3:

instr.3.en

debian 10 / alliance