anchor.diff:        type = types.nullOr types.str;
         default = null;
         description = ''
  -     	Token redemption endpoint.
  +        Token redemption endpoint.
   
           You only need to set this if you are using a self-hosted provider (e.g.
           Github Enterprise). If you're using a publicly hosted provider
  
positive.code:         type = types.str;
          default = ":443";
          description = ''
            <addr>:<port> to listen on for HTTPS clients.
  
            Remember to add <port> to allowedTCPPorts if you want other machines
            to be able to connect to it.
          '';
        };
      };
  
negative.code:         default = null;
          description = ''
            Additionally authenticate against a htpasswd file. Entries must be
            created with <literal>htpasswd -s</literal> for SHA encryption.
          '';
        };
  
  