Meta: export terms used by the Service Worker spec

source

@@ -98511,20 +98511,20 @@ location.href = '#foo';</code></pre>
   <p>To <dfn export>navigate</dfn> a <span>navigable</span> <var>navigable</var> to a
   <span>URL</span> <var>url</var> using a <code>Document</code> <var
   id="source-browsing-context">sourceDocument</var>, with an optional <span>POST resource</span>,
-  string, or null <dfn data-x="navigation-resource"><var>documentResource</var></dfn> (default
-  null), an optional <span data-x="concept-response">response</span>-or-null <dfn
-  data-x="navigation-response"><var>response</var></dfn> (default null), an optional boolean <dfn
-  id="exceptions-enabled" export><var>exceptionsEnabled</var></dfn> (default false), an optional
-  <code>NavigationHistoryBehavior</code> <dfn
-  data-x="navigation-hh"><var>historyHandling</var></dfn> (default "<code
+  string, or null <dfn for="navigate" data-x="navigation-resource"
+  export><var>documentResource</var></dfn> (default null), an optional <span
+  data-x="concept-response">response</span>-or-null <dfn for="navigate"
+  data-x="navigation-response" export><var>response</var></dfn> (default null), an optional boolean
+  <dfn for="navigate" id="exceptions-enabled" export><var>exceptionsEnabled</var></dfn> (default
+  false), an optional <code>NavigationHistoryBehavior</code> <dfn for="navigate"
+  data-x="navigation-hh" export><var>historyHandling</var></dfn> (default "<code
   data-x="NavigationHistoryBehavior-auto">auto</code>"), an optional <span>serialized
-  state</span>-or-null <dfn
-  data-x="navigation-navigation-api-state"><var>navigationAPIState</var></dfn> (default null), an
-  optional <span>entry list</span> or null <dfn
-  data-x="navigation-form-data-entry-list"><var>formDataEntryList</var></dfn> (default null), an
-  optional <span>referrer policy</span> <dfn
-  data-x="navigation-referrer-policy"><var>referrerPolicy</var></dfn> (default the empty string),
-  and an optional <span>user navigation involvement</span> <dfn
+  state</span>-or-null <dfn for="navigate" data-x="navigation-navigation-api-state"
+  export><var>navigationAPIState</var></dfn> (default null), an optional <span>entry list</span> or
+  null <dfn for="navigate" data-x="navigation-form-data-entry-list"
+  export><var>formDataEntryList</var></dfn> (default null), an optional <span>referrer
+  policy</span> <dfn data-x="navigation-referrer-policy"><var>referrerPolicy</var></dfn> (default
+  the empty string), and an optional <span>user navigation involvement</span> <dfn
   data-x="navigation-user-involvement"><var>userInvolvement</var></dfn> (default "<code
   data-x="uni-none">none</code>"):</p>
 
@@ -110724,18 +110724,18 @@ import "https://example.com/foo/../module2.mjs";</code></pre>
   data-x="struct item">items</span>:</p>
 
   <ul>
-   <li><p>a <dfn data-x="event handler value">value</dfn>, which is either null<span
-   w-nodev>,</span><span w-dev> or</span> a callback object<span w-nodev>, or an <span>internal raw
-   uncompiled handler</span></span>. The <code>EventHandler</code> callback function type describes
-   how this is exposed to scripts. <span w-nodev>Initially, an <span data-x="event handlers">event
-   handler</span>'s <span data-x="event handler value">value</span> must be set to
-   null.</span></p></li>
-
-   <li><p>a <dfn export for="event handler" data-x="event handler listener">listener</dfn>, which is
-   either null or an <span>event listener</span><span w-nodev> responsible for running <span>the
-   event handler processing algorithm</span></span>. <span w-nodev>Initially, an <span data-x="event
-   handlers">event handler</span>'s <span data-x="event handler listener">listener</span> must be
-   set to null.</span></p></li>
+   <li><p>a <dfn export for="event handler" data-x="event handler value">value</dfn>, which is
+   either null<span w-nodev>,</span><span w-dev> or</span> a callback object<span w-nodev>, or an
+   <span>internal raw uncompiled handler</span></span>. The <code>EventHandler</code> callback
+   function type describes how this is exposed to scripts. <span w-nodev>Initially, an <span
+   data-x="event handlers">event handler</span>'s <span data-x="event handler value">value</span>
+   must be set to null.</span></p></li>
+
+   <li><p>a <dfn export for="event handler" data-x="event handler listener">listener</dfn>, which
+   is either null or an <span>event listener</span><span w-nodev> responsible for running <span>the
+   event handler processing algorithm</span></span>. <span w-nodev>Initially, an <span
+   data-x="event handlers">event handler</span>'s <span data-x="event handler
+   listener">listener</span> must be set to null.</span></p></li>
   </ul>
 
   </div>