chore: tidy up index.html (#151)

Author: github-actions[bot]

index.html

@@ -217,16 +217,16 @@ <h3>
       identify credential.
     </p>
     <p>
-      The {{DigitalCredentialsProvider/protocol}} member's value is be one of the
-      well-defined keys defined in [[[#protocol-registry]]] or any other custom
-      one.
+      The {{DigitalCredentialsProvider/protocol}} member's value is be one of
+      the well-defined keys defined in [[[#protocol-registry]]] or any other
+      custom one.
     </p>
     <h3>
       The `request` member
     </h3>
     <p>
-      The <dfn data-dfn-for="DigitalCredentialsProvider">request</dfn> member is
-      the request to be handled by the holder's software, such as a digital
+      The <dfn data-dfn-for="DigitalCredentialsProvider">request</dfn> member
+      is the request to be handled by the holder's software, such as a digital
       wallet.
     </p>
     <h2>