Man pages matching name hash in section 0x80d3d5c: