anchor.diff:          default = {};
           description = ''
             Folders which should be shared by Syncthing.
  +
  +          Note that you can still add devices manually, but those changes
  +          will be reverted on restart if <link linkend="opt-services.syncthing.overrideDevices">overrideDevices</link>
  +          is enabled.
           '';
           example = literalExample ''
             {
  
positive.code:         type = types.nullOr types.str;
          default = null;
          description = ''
            Path to users key.pem file, will be copied into Syncthing's
            <literal>configDir</literal>
          '';
        };
  
  
negative.code:         default = true;
          description = ''
            Whether to delete the folders which are not configured via the
            <link linkend="opt-services.syncthing.folders">folders</link> option.
            If set to <literal>false</literal>, folders added via the web
            interface will persist and will have to be deleted manually.
          '';
        };
  
  