From f9fa7f8ac4f37ae62ec2beca50f87eba983a39cb Mon Sep 17 00:00:00 2001
From: Michael Wilson <mjwilson@chromium.org>
Date: Mon, 18 Sep 2023 13:50:11 -0700
Subject: [PATCH] Fix links to user agent and default allowlist

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 0c46f3a..709c692 100644
--- 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">