Move <dfn>authenticator extension input</dfn> to §9.5.

index.bs

@@ -3562,7 +3562,7 @@ extension=] that does not otherwise require any result values MUST return a valu
 An extension defines one or two request arguments. The <dfn>client extension input</dfn>,
 which is a value that can be encoded in JSON, is passed from the [=[RP]=] to the client
 in the {{CredentialsContainer/get()}} or {{CredentialsContainer/create()}} call,
-while the [=CBOR=] <dfn>authenticator extension input</dfn> is
+while the [=CBOR=] [=authenticator extension input=] is
 passed from the client to the authenticator for [=authenticator extensions=] during the processing of these calls.
 
 A [=[RP]=] simultaneously requests the use of an extension and sets its [=client extension input=] by including an entry in the
@@ -3613,10 +3613,10 @@ the process by which the [=CBOR=] [=authenticator extension output=] can be used
 
 ## <dfn>Authenticator extension processing</dfn> ## {#sctn-authenticator-extension-processing}
 
-The [=CBOR=] [=authenticator extension input=] value of each processed [=authenticator extension=] is included in the |extensions|
-parameter of the [=authenticatorMakeCredential=] and [=authenticatorGetAssertion=] operations. The |extensions| parameter is a
-[=CBOR=] map where each key is an [=extension identifier=] and the corresponding value is the [=authenticator extension input=]
-for that extension.
+The [=CBOR=] <dfn>authenticator extension input</dfn> value of each processed [=authenticator extension=] is included in the
+|extensions| parameter of the [=authenticatorMakeCredential=] and [=authenticatorGetAssertion=] operations. The |extensions|
+parameter is a [=CBOR=] map where each key is an [=extension identifier=] and the corresponding value is the [=authenticator
+extension input=] for that extension.
 
 Likewise, the <dfn>authenticator extension output</dfn> value of each processed [=authenticator extension=] is represented by one
 key/value pair in [=authdataextensions|extensions=] part of the [=authenticator data=]. The [=authdataextensions|extensions=] part