Meta: export terms for Notifications API

In particular: a navigable's current session history entry, a user agent's top-level traversable set, and a session history entry's URL.

source

@@ -96662,8 +96662,8 @@ interface <dfn interface>NotRestoredReasons</dfn> {
    a <span>navigable</span> or null.</p></li>
 
    <li>
-    <p id="current-entry">A <dfn data-x="nav-current-history-entry">current session history
-    entry</dfn>, a <span>session history entry</span>.</p>
+    <p id="current-entry">A <dfn export for="navigable" data-x="nav-current-history-entry">current
+    session history entry</dfn>, a <span>session history entry</span>.</p>
 
     <p>This can only be modified within the <span
     data-x="tn-session-history-traversal-queue">session history traversal queue</span> of the
@@ -96843,9 +96843,9 @@ interface <dfn interface>NotRestoredReasons</dfn> {
   are <span data-x="top-level traversable">top-level traversables</span>. Future proposals envision
   introducing non-top-level traversables.</p>
 
-  <p>A user agent holds a <dfn>top-level traversable set</dfn> (a <span>set</span> of <span
-  data-x="top-level traversable">top-level traversables</span>). These are typically presented to
-  the user in the form of browser windows or browser tabs.</p>
+  <p>A user agent holds a <dfn export for="user agent">top-level traversable set</dfn> (a
+  <span>set</span> of <span data-x="top-level traversable">top-level traversables</span>). These are
+  typically presented to the user in the form of browser windows or browser tabs.</p>
 
   <p>To get the <dfn export for="navigable" data-x="nav-top">top-level traversable</dfn> of a
   <span>navigable</span> <var>inputNavigable</var>:</p>
@@ -98452,7 +98452,8 @@ interface <dfn interface>NotRestoredReasons</dfn> {
    <li><p><dfn data-x="she-step">step</dfn>, a non-negative integer or "<code
    data-x="">pending</code>", initially "<code data-x="">pending</code>".</p></li>
 
-   <li><p><dfn data-x="she-url">URL</dfn>, a <span>URL</span></p></li>
+   <li><p><dfn export for="session history entry" data-x="she-url">URL</dfn>, a
+   <span>URL</span></p></li>
 
    <li><p><dfn data-x="she-document-state">document state</dfn>, a <span>document
    state</span>.</p></li>