Man pages matching name array in section 0x80f5dec: