From 3aa02474e71e68499242f867f05c4cad861e0f53 Mon Sep 17 00:00:00 2001
From: Emil Lundberg <emil@yubico.com>
Date: Wed, 10 Jan 2024 14:32:41 +0100
Subject: [PATCH] Delete unused term "client-side discoverable credential
 property"

Fixes this Bikeshed lint:

```
LINT: Unexported dfn that's not referenced locally - did you mean to export it?
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
```
---
 index.bs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 3a4a69fc4..7afb37eab 100644
--- a/index.bs
+++ b/index.bs
@@ -6813,8 +6813,7 @@ This [=client extension|client=] [=registration extension=] and [=authentication
 
     <div dfn-type="dict-member" dfn-for="CredentialPropertiesOutput">
         :   <dfn>rk</dfn>
-        ::  This OPTIONAL property, known abstractly as the <dfn dfn-type="dfn">resident key credential property</dfn>
-            (i.e., <dfn dfn-type="dfn">client-side discoverable credential property</dfn>),
+        ::  This OPTIONAL property, known abstractly as the <dfn dfn-type="dfn">resident key credential property</dfn>,
             is a Boolean value indicating whether the {{PublicKeyCredential}} returned as a result of a [=registration ceremony=]
             is a [=client-side discoverable credential=].
             If {{rk}} is [TRUE], the credential is a [=discoverable credential=].