anchor.diff:    ,{verbosity, $v, integer,
       io_lib:format("Sets the verbosity level (0-~p). [default: ~p]",
                     [?MAX_VERBOSITY, ?DEFAULT_VERBOSITY]),
  -    "Verbosity decides what is shown on stderr. Messages up to info are"
  -    " *always* shown in the output file. The available levels are the"
  -    " following:~n~n"
  -    "0 <quiet> Nothing is printed~n"
  +    "Verbosity decides what is shown on stderr. Messages up to info are~n"
  +    "always also shown in the output file. The available levels are the~n"
  +    "following:~n~n"
  +    "0 <quiet> Nothing is printed (equivalent to -q)~n"
       "1 <error> Critical, resulting in early termination~n"
  -    "2 <warn>  Non-critical, notifying about weak support for a feature or the"
  -    " use of an option that alters the output~n"
  -    "3 <tip>   Notifying of a suggested refactoring or option to make testing"
  -    " more efficient~n"
  -    "4 <info>  Normal operation messages that can be ignored~n"
  +    "2 <warn>  Non-critical, notifying about weak support for a feature or~n"
  +    "           the use of an option that alters the output~n"
  +    "3 <tip>   Notifying of a suggested refactoring or option to make~n"
  +    "           testing more efficient~n"
  +    "4 <info>  Normal operation messages, can be ignored~n"
       "5 <time>  Timing messages~n"
       "6 <debug> Used only during debugging~n"
       "7 <trace> Everything else"
  
positive.code:         " Use '-m <module>' or '-h module' for more info.",
        opt_error(UndefinedEntryPoint)
    end.
  
  rename_equivalent(Options) ->
    rename_equivalent(Options, []).
  
negative.code:     "This is where Concuerror writes the results of the analysis."}
    ,{graph, undefined, string,
      "Produce a DOT graph in the specified file",
      "The graph can be drawn with 'dot -Tsvg -o graph.svg <graph>"}
    ,{symbolic_names, $s, {boolean, true},
      "Symbolic PIDs in graph/log",
      "Use symbolic names for process identifiers in the output report."}
  