Man pages matching name decoder in section 3pm: