anchor.diff:    AllowedInModuleAttributes =
       not lists:member(OptionName, not_allowed_in_module_attributes()),
     item(
  -    File, "Allowed in {@section module attributes}: <em>~p</em>",
  +    File, "Allowed in {@section Module Attributes}: <em>~p</em>",
       [to_yes_or_no(AllowedInModuleAttributes)]),
     MultipleAllowed =
       lists:member(OptionName, multiple_allowed()),
     item(
  -    File, "{@section Multiple arguments}: <em>~p</em>",
  +    File, "{@section Multiple Arguments}: <em>~p</em>",
       [to_yes_or_no(MultipleAllowed)]),
     case OptionKeywords =:= [] of
       true -> ok;
  
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:
  