anchor.diff:            options = {
               clientID = mkOption {
                 type = types.str;
  -              default = "";
                 description = ''
                   Facebook API client ID.
                 '';
               };
               clientSecret = mkOption {
                 type = types.str;
  -              default = "";
                 description = ''
                   Facebook API client secret.
                 '';
  
positive.code:             };
              useridField = mkOption {
                type = types.str;
                default = "";
                example = "uid";
                description = ''
                  LDAP field which is a unique identifier for users on CodiMD.
  
negative.code:           options = {
              idpSsoUrl = mkOption {
                type = types.str;
                example = "https://idp.example.com/sso";
                description = ''
                  IdP authentication endpoint.
                '';
              };
              idpCert = mkOption {
                type = types.path;
                example = "/path/to/cert.pem";
                description = ''
                  Path to IdP certificate file in PEM format.
  