From 863bd83844bbe6277b9c7bc6595d9241e3b20efc Mon Sep 17 00:00:00 2001
From: Anne van Kesteren <annevk@annevk.nl>
Date: Mon, 21 Oct 2024 13:57:39 -0700
Subject: [PATCH] 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 | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/source b/source
index e64c6583633..10050962b1f 100644
--- a/source
+++ b/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>