Meta: export various navigable-related terms

Working on updating Fullscreen to a navigable-based model revealed the need for these.

This also un-exports browsing context's "active document" and "active window", since other specifications should generally not be reaching into browsing contexts. (Doing so will likely not work as expected after COOP-induced browsing context group swaps.)

Author: domenic

source

@@ -86926,9 +86926,9 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
 
   <hr>
 
-  <p>A <span>navigable</span>'s <dfn data-x="nav-document">active document</dfn> is its <span
-  data-x="nav-active-history-entry">active session history entry</span>'s <span
-  data-x="she-document">document</span>.</p>
+  <p>A <span>navigable</span>'s <dfn export for="navigable" data-x="nav-document">active
+  document</dfn> is its <span data-x="nav-active-history-entry">active session history
+  entry</span>'s <span data-x="she-document">document</span>.</p>
 
   <p class="note">This can be safely read from within the <span
   data-x="tn-session-history-traversal-queue">session history traversal queue</span> of the
@@ -87058,8 +87058,8 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</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 data-x="nav-top">top-level traversable</dfn> of a <span>navigable</span>
-  <var>inputNavigable</var>:</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>
 
   <ol>
    <li><p>Let <var>navigable</var> be <var>inputNavigable</var>.</p></li>
@@ -87151,9 +87151,9 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
   <p id="nested-browsing-context">Each <span>navigable container</span> has a <dfn>nested
   navigable</dfn>, which is either a <span>navigable</span> or null. It is initially null.</p>
 
-  <p id="bc-container">The <dfn data-x="nav-container">container</dfn> of a <span>navigable</span>
-  <var>navigable</var> is the <span>navigable container</span> whose <span>nested navigable</span>
-  is <var>navigable</var>, or null if there is no such element.</p>
+  <p id="bc-container">The <dfn export for="navigable" data-x="nav-container">container</dfn> of a
+  <span>navigable</span> <var>navigable</var> is the <span>navigable container</span> whose
+  <span>nested navigable</span> is <var>navigable</var>, or null if there is no such element.</p>
 
   <p id="bc-container-document">The <dfn data-x="nav-container-document">container document</dfn>
   of a <span>navigable</span> <var>navigable</var> is the result of running these steps:</p>
@@ -87183,11 +87183,11 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
    data-x="nav-container-document">container document</span>.</p></li>
   </ol>
 
-  <p id="child-browsing-context">A <span>navigable</span> <var>navigable</var> is a <dfn>child
-  navigable</dfn> of another navigable <var>potentialParent</var> when <var>navigable</var>'s <span
-  data-x="nav-parent">parent</span> is <var>potentialParent</var>. We can also just say that a
-  <span>navigable</span> "is a <span>child navigable</span>", which means that its <span
-  data-x="nav-parent">parent</span> is non-null.</p>
+  <p id="child-browsing-context">A <span>navigable</span> <var>navigable</var> is a <dfn
+  export>child navigable</dfn> of another navigable <var>potentialParent</var> when
+  <var>navigable</var>'s <span data-x="nav-parent">parent</span> is <var>potentialParent</var>. We
+  can also just say that a <span>navigable</span> "is a <span>child navigable</span>", which means
+  that its <span data-x="nav-parent">parent</span> is non-null.</p>
 
   <p class="note">All <span data-x="child navigable">child navigables</span> are the <span>nested
   navigable</span> of their <span data-x="nav-container">container</span>.</p>
@@ -87375,8 +87375,8 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
   <code>Document</code>s do have ancestor and descendant navigables, they often behave as if they
   don't (e.g., in the <code data-x="dom-parent">window.parent</code> getter).</p>
 
-  <p>The <dfn>ancestor navigables</dfn> of a <code>Document</code> <var>document</var> are given by
-  these steps:</p>
+  <p>The <dfn export for="Document">ancestor navigables</dfn> of a <code>Document</code>
+  <var>document</var> are given by these steps:</p>
 
   <ol>
    <li><p>Let <var>navigable</var> be <var>document</var>'s <span>node navigable</span>'s <span
@@ -87399,8 +87399,8 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
    <li><p>Return <var>ancestors</var>.</p></li>
   </ol>
 
-  <p>The <dfn>inclusive ancestor navigables</dfn> of a <code>Document</code> <var>document</var>
-  are given by these steps:</p>
+  <p>The <dfn export for="Document">inclusive ancestor navigables</dfn> of a <code>Document</code>
+  <var>document</var> are given by these steps:</p>
 
   <ol>
    <li><p>Let <var>navigables</var> be <var>document</var>'s <span>ancestor
@@ -87412,8 +87412,8 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
    <li><p>Return <var>navigables</var>.</p></li>
   </ol>
 
-  <p id="list-of-the-descendant-browsing-contexts">The <dfn>descendant navigables</dfn> of a
-  <code>Document</code> <var>document</var> are given by these steps:</p>
+  <p id="list-of-the-descendant-browsing-contexts">The <dfn export for="Document">descendant
+  navigables</dfn> of a <code>Document</code> <var>document</var> are given by these steps:</p>
 
   <ol>
    <li><p>Let <var>navigables</var> be new <span>list</span>.</p></li>
@@ -87441,8 +87441,8 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
    <li><p>Return <var>navigables</var>.</p></li>
   </ol>
 
-  <p>The <dfn>inclusive descendant navigables</dfn> of a <code>Document</code> <var>document</var>
-  are given by these steps:</p>
+  <p>The <dfn export for="Document">inclusive descendant navigables</dfn> of a
+  <code>Document</code> <var>document</var> are given by these steps:</p>
 
   <ol>
    <li><p>Let <var>navigables</var> be « <var>document</var>'s <span>node navigable</span>
@@ -87917,11 +87917,10 @@ interface <dfn interface>BeforeUnloadEvent</dfn> : <span>Event</span> {
    have happened if the report-only policy had been enforced.</p></li>
   </ul>
 
-  <p>A <span>browsing context</span>'s <dfn export for="browsing context">active window</dfn> is its
-  <code>WindowProxy</code> object's <span data-x="concept-windowproxy-window">[[Window]]</span>
-  internal slot value. A <span>browsing context</span>'s <dfn export>active document</dfn> is its
-  <span>active window</span>'s <span data-x="concept-document-window">associated
-  <code>Document</code></span>.</p>
+  <p>A <span>browsing context</span>'s <dfn>active window</dfn> is its <code>WindowProxy</code>
+  object's <span data-x="concept-windowproxy-window">[[Window]]</span> internal slot value. A
+  <span>browsing context</span>'s <dfn>active document</dfn> is its <span>active window</span>'s
+  <span data-x="concept-document-window">associated <code>Document</code></span>.</p>
 
   <p>A <span>browsing context</span>'s <dfn data-x="bc-traversable">top-level traversable</dfn> is
   its <span>active document</span>'s <span>node navigable</span>'s <span data-x="nav-top">top-level