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.bool;
                default = false;
                description = ''
                  If the device should act as an introducer and be allowed
                  to add folders on this computer.
                '';
              };
  
  
negative.code:         type = types.nullOr types.str;
          default = null;
          description = ''
            Path to the <literal>key.pem</literal> file, which will be copied into Syncthing's
            <link linkend="opt-services.syncthing.configDir">configDir</link>.
          '';
        };
  
  