Man pages matching name distributions in section 3pm: