Remove credential types until there is consensus.

index.html

@@ -44,11 +44,10 @@
       <p>
         This document specifies an API to enable [=user agents=] to mediate
         access to, and present, a digital credential such as a driver's license,
-        a student ID card, a boarding pass, or
-        <a href="#credential-type-examples">other types of credential</a>.
-        The API builds on [[[credential-management-1]]] as a means
-        by which to request a digital credential from a user agent or underlying
-        platform.
+        a government-issued identification card, or [=credential type
+        examples|other types of digital credential=]. The API builds on
+        [[[credential-management-1]]] as a means by which to request a digital
+        credential from a user agent or underlying platform.
       </p>
     </section>
     <section id="sotd">
@@ -64,35 +63,15 @@ <h2>
     </p>
     <p id="credential-type-examples">
       There are many types of digital credential that can be conveyed using
-      this API. Some of these types include:
+      this API. <dfn data-lt="credential type examples">
+      Examples of these types</dfn> include:
     </p>
     <ul>
       <li>
         a driver's license or identity card issued by a government
       </li>
       <li>
-        a passport issued by a government
-      </li>
-      <li>
-        a student identification card or diploma issued by a university
-      </li>
-      <li>
-        an employee identification card issued by a company
-      </li>
-      <li>
-        a traveler's boarding pass issued by an airline
-      </li>
-      <li>
-        a profile issued by an online social network
-      </li>
-      <li>
-        a membership card issued by a retailer
-      </li>
-      <li>
-        a healthcare record issued by a hospital, and
-      </li>
-      <li>
-        a professional license issued by a trade association.
+        TBW: other credential types
       </li>
     </ul>
     <h2>