Fix links to user agent and default allowlist

Michael Wilson · Michael Wilson · commit f9fa7f8ac4f3 · 2023-09-18T13:50:11.000-07:00
diff --git a/index.html b/index.html
@@ -132,7 +132,7 @@ <h2>
     <section id="conformance">
       <p>
         This specification defines conformance criteria that apply to a single
-        product: the <dfn>user agent</dfn> that implements the interfaces that
+        product: the <a>user agent</a> that implements the interfaces that
         it contains.
       </p>
       <p>
@@ -194,7 +194,7 @@ <h2>
         <p>
           The Web Midi API defines a [=policy-controlled feature=] named
           <dfn class="permission">"midi"</dfn> which has a
-          <a>default allowlist</a> of `'self'`.
+          [=policy-controlled feature/default allowlist=] of `'self'`.
         </p>
       </section>
       <section data-dfn-for="Navigator">
