anchor.diff:                default = [];
                 description = ''
                   The addresses used to connect to the device.
  -                If this is let empty, dynamic configuration is attempted
  +                If this is left empty, dynamic configuration is attempted.
                 '';
               };
   
               id = mkOption {
                 type = types.str;
                 description = ''
  -                The id of the other peer, this is mandatory. It's documented at
  -                https://docs.syncthing.net/dev/device-ids.html
  +                The device ID. See <link xlink:href="https://docs.syncthing.net/dev/device-ids.html"/>.
                 '';
               };
   
  
positive.code:         type = types.str;
          default = "127.0.0.1:8384";
          description = ''
            Address to serve the GUI.
          '';
        };
  
        systemService = mkOption {
          type = types.bool;
          default = true;
          description = "Auto launch Syncthing as a system service.";
        };
  
        user = mkOption {
          type = types.str;
          default = defaultUser;
          description = ''
            Syncthing will be run under this user (user will be created if it doesn't exist.
            This can be your user name).
          '';
        };
  
        group = mkOption {
          type = types.str;
          default = defaultUser;
          description = ''
            Syncthing will be run under this group (group will not be created if it doesn't exist.
            This can be your user name).
          '';
        };
  
  
negative.code:         default = true;
          description = ''
            Whether to delete the devices which are not configured via the
            <link linkend="opt-services.syncthing.devices">devices</link> option.
            If set to <literal>false</literal>, devices added via the web
            interface will persist and will have to be deleted manually.
          '';
        };
  
  