editorial: Do not define Navigator, just reference it

Navigator is <dfn>ed in HTML; redefining it here does not make much sense as we just need to reference the original definition.
w3c · Mar 8, 2024 · a70ea5f · a70ea5f
1 parent 8d38b2a
commit a70ea5f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -208,8 +208,8 @@ <h2>
         Extensions to the `Navigator` interface
       </h2>
       <p>
-        The [[HTML]] specification defines the <dfn>Navigator</dfn> interface,
-        which this specification extends:
+        The [[HTML]] specification defines the {{Navigator}} interface, which
+        this specification extends:
       </p>
       <pre class="idl">
         [SecureContext, Exposed=(Window)]