From 55e7ece9801a27eec365bf66da69de7c98130a6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Beaufort?= <beaufort.francois@gmail.com>
Date: Mon, 19 Dec 2022 09:59:55 +0100
Subject: [PATCH 1/3] Remove Page Visibility spec references

---
 index.bs | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/index.bs b/index.bs
index cf3b9e1..9b366af 100644
--- a/index.bs
+++ b/index.bs
@@ -31,8 +31,6 @@ spec: Remote-Playback; urlPrefix: https://w3c.github.io/remote-playback/#dfn-
     type: dfn
         text: local playback device
         text: local playback state
-spec: Page-Visibility; urlPrefix: https://www.w3.org/TR/page-visibility/
-    type: attribute; text: visibilityState; for: Document; url: dom-visibilitystate
 </pre>
 
 <pre class="link-defaults">
@@ -41,6 +39,7 @@ spec:dom; type:dfn; for:NamedNodeMap; text:element
 spec:dom; type:interface; text:Document
 spec:html; type:attribute; for:HTMLMediaElement; text:readyState
 spec:html; type:dfn; for:/; text:browsing context
+spec:html; type:attribute; text:visibilityState
 </pre>
 
 # Introduction # {#intro}
@@ -310,10 +309,8 @@ be visible, even when the <a>Document</a> is not in focus or hidden. The user
 agent SHOULD provide a way for users to manually close the Picture-in-Picture
 window.
 
-The [[Page-Visibility]] specification defines a {{Document/visibilityState}}
-attribute used to determine the visibility state of a <a>top-level browsing
-context</a>. The Picture-in-Picture window visibility MUST NOT be taken into
-account when determining the value returned by {{Document/visibilityState}}.
+The Picture-in-Picture window visibility MUST NOT be taken into account when
+determining the value returned by {{visibilityState}}.
 
 ## One Picture-in-Picture window ## {#one-pip-window}
 

From 11e89846b3d3c79df8aca4fb490b2d27be8b44a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Beaufort?= <beaufort.francois@gmail.com>
Date: Mon, 19 Dec 2022 11:03:27 +0100
Subject: [PATCH 2/3] Address @rakuco's feedback

---
 index.bs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/index.bs b/index.bs
index 9b366af..568378f 100644
--- a/index.bs
+++ b/index.bs
@@ -23,6 +23,10 @@ spec: HTML; urlPrefix: https://html.spec.whatwg.org/multipage/
     type: dfn
         urlPrefix: media.html
             text: media element event task source
+    type: dfn
+        urlPrefix: interaction.html
+            text: traversable navigable
+            text: system visibility state
 spec: Fullscreen; urlPrefix: https://fullscreen.spec.whatwg.org
     type: dfn; text: fullscreen flag; url: #fullscreen-flag
     type: dfn; text: fullscreenElement; url: dom-document-fullscreenelement
@@ -39,7 +43,6 @@ spec:dom; type:dfn; for:NamedNodeMap; text:element
 spec:dom; type:interface; text:Document
 spec:html; type:attribute; for:HTMLMediaElement; text:readyState
 spec:html; type:dfn; for:/; text:browsing context
-spec:html; type:attribute; text:visibilityState
 </pre>
 
 # Introduction # {#intro}
@@ -309,8 +312,9 @@ be visible, even when the <a>Document</a> is not in focus or hidden. The user
 agent SHOULD provide a way for users to manually close the Picture-in-Picture
 window.
 
-The Picture-in-Picture window visibility MUST NOT be taken into account when
-determining the value returned by {{visibilityState}}.
+The Picture-in-Picture window visibility MUST NOT be taken into account by the
+user agent to determine if the <a>system visibility state</a> of a 
+<a>traversable navigable</a> has changed.
 
 ## One Picture-in-Picture window ## {#one-pip-window}
 

From b9df8a20311c4b7434a951416de24cb9ed9e2e8e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Beaufort?= <beaufort.francois@gmail.com>
Date: Mon, 19 Dec 2022 15:51:37 +0100
Subject: [PATCH 3/3] Update index.bs

---
 index.bs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 568378f..8a40305 100644
--- a/index.bs
+++ b/index.bs
@@ -25,7 +25,6 @@ spec: HTML; urlPrefix: https://html.spec.whatwg.org/multipage/
             text: media element event task source
     type: dfn
         urlPrefix: interaction.html
-            text: traversable navigable
             text: system visibility state
 spec: Fullscreen; urlPrefix: https://fullscreen.spec.whatwg.org
     type: dfn; text: fullscreen flag; url: #fullscreen-flag
@@ -314,7 +313,7 @@ window.
 
 The Picture-in-Picture window visibility MUST NOT be taken into account by the
 user agent to determine if the <a>system visibility state</a> of a 
-<a>traversable navigable</a> has changed.
+<a for="/">traversable navigable</a> has changed.
 
 ## One Picture-in-Picture window ## {#one-pip-window}