anchor.diff:                  };
                 })
               ]);
  +            example = [
  +              {
  +                onion = "xxxxxxxxxxxxxxxx.onion";
  +                auth = "xxxxxxxxxxxxxxxxxxxxxx";
  +              }
  +            ];
             };
             options.HiddenServiceNonAnonymousMode = optionBool "HiddenServiceNonAnonymousMode";
             options.HiddenServiceStatistics = optionBool "HiddenServiceStatistics";
  
positive.code:               (submodule {
                  options = {
                    onion = mkOption {
                      type = strMatching "[a-z2-7]{16}(\\.onion)?";
                      description = "Onion address.";
                      example = "xxxxxxxxxxxxxxxx.onion";
                    };
  
negative.code:     else if k == "ServerTransportPlugin" then
        optionalString (v.transports != []) "${concatStringsSep "," v.transports} exec ${v.exec}"
      else if k == "HidServAuth" then
        v.onion + " " + v.auth
      else generators.mkValueStringDefault {} v;
    genTorrc = settings:
      generators.toKeyValue {
  