['help'].
'Command examples:       CHECK|: help.'.
'                        CHECK|: help infer.'.
''.
'"help" calls up useful help-text from a file for the user about the'.
'checker and its commands.  To see the general help page, which lists the'.
'commands available, type "help", otherwise use the "help command"'.
'form.'.
