anchor.diff:      " progress info mean.~n~n"
       "With an option name as argument, prints more help for that option.~n~n"
       "Options have keywords associated with them (shown in their help)."
  -    " With a keyword as argument, prints a list of all options with the"
  -    " keyword.~n~n"
  -    "If an expected argument is omitted, `true' or `1' is the implied"
  +    " With a keyword as argument, prints a list of all the options that are"
  +    " associated with the keyword.~n~n"
  +    "If a boolean or integer argument is omitted, `true' or `1' is the implied"
       " value."
     }.
   
  
positive.code: %%% you will only see options with the keyword `basic'.  To see all
  %%% options use {@link help_option/0. `--help all'}.
  %%%
  %%% === Multiple arguments ===
  %%%
  %%% Some options can be specified multiple times, each time with a
  %%% different argument.  For those that don't the last value is kept
  
negative.code: %%% boolean()} options in the command line you can omit `true' or 1
  %%% as values.
  %%%
  %%% === Module Attributes ===
  %%%
  %%% You can use the following attributes in the module specified by `--module'
  %%% to pass options to Concuerror:
  