anchor.diff:  rename_equivalent(Options) ->
     rename_equivalent(Options, []).
   
  -rename_equivalent([quiet|Rest], Acc) ->
  +rename_equivalent([{quiet, true}|Rest], Acc) ->
     case proplists:is_defined(verbosity, Rest ++ Acc) of
       true -> opt_error("'--verbosity' specified together with '--quiet'");
       false ->
  
positive.code:   FinalOptions =
      try
        Passes =
          [ fun rename_equivalent/1
          , fun add_missing_getopt_defaults/1
          , fun(O) ->
                add_missing_defaults([{verbosity, ?DEFAULT_VERBOSITY}], O)
            end
          , fun proplists:unfold/1
          , fun finalize_aux/1
          , fun(O) ->
                add_missing_defaults(
  
negative.code:       opt_error(Error, [?ldebug - 1])
    end,
    finalize(NewRest, [{verbosity, Verbosity}|Acc]);
  finalize([{Key, Value}|Rest], Acc)
    when
      Key =:= pa;
      Key =:=pz
      ->
    PathAdd =
      case Key of
        pa -> fun code:add_patha/1;
  