Man pages matching name generator in section 3pm: