From 3ca12abf679f134bbe4ba474e14473fc483fc25b 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 a user agent's top-level traversable set

Needed by the Notifications API: https://github.com/whatwg/notifications/pull/213.
---
 source | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source b/source
index e64c6583633..95bfccb7b6c 100644
--- a/source
+++ b/source
@@ -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>