anchor.diff:        };
   
         group = mkOption {
  -        type = types.string;
  +        type = types.str;
           default = "nogroup";
           description = ''
             Syncthing will be run under this group (group will not be created if it doesn't exist.
  
positive.code:       };
  
        all_proxy = mkOption {
          type = types.nullOr types.string;
          default = null;
          example = "socks5://address.com:1234";
          description = ''
  
negative.code:       '';
  
        guiAddress = mkOption {
          type = types.str;
          default = "127.0.0.1:8384";
          description = ''
            Address to serve the GUI.
  