Man pages matching name array in section 0x8031d0: