See HELP LINES; names of specific help lines; e.g., GAYLINE