From 97ba67967e3b80139d95a5e411f599dbbf5d3ce4 Mon Sep 17 00:00:00 2001
From: Tab Atkins-Bittner <jackalmage@gmail.com>
Date: Thu, 21 Dec 2023 13:37:32 -0800
Subject: [PATCH] rebase tests

---
 tests/github/whatwg/compat/compatibility.html | 57 -------------------
 tests/github/whatwg/console/index.html        | 57 -------------------
 tests/github/whatwg/dom/dom.html              | 57 -------------------
 tests/github/whatwg/encoding/encoding.html    | 57 -------------------
 tests/github/whatwg/fetch/fetch.html          | 57 -------------------
 .../github/whatwg/fullscreen/fullscreen.html  | 57 -------------------
 .../whatwg/notifications/notifications.html   | 57 -------------------
 tests/github/whatwg/storage/storage.html      | 57 -------------------
 tests/github/whatwg/streams/index.html        | 57 -------------------
 tests/github/whatwg/url/url.html              | 57 -------------------
 tests/github/whatwg/xhr/xhr.html              | 57 -------------------
 11 files changed, 627 deletions(-)

diff --git a/tests/github/whatwg/compat/compatibility.html b/tests/github/whatwg/compat/compatibility.html
index 14de10d17a..d8de6b2fda 100644
--- a/tests/github/whatwg/compat/compatibility.html
+++ b/tests/github/whatwg/compat/compatibility.html
@@ -2304,63 +2304,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 document.addEventListener("DOMContentLoaded", setTypeTitles);
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/console/index.html b/tests/github/whatwg/console/index.html
index af90c8fada..ae6533ce14 100644
--- a/tests/github/whatwg/console/index.html
+++ b/tests/github/whatwg/console/index.html
@@ -1898,63 +1898,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/dom/dom.html b/tests/github/whatwg/dom/dom.html
index c8795c001d..18ef22e84d 100644
--- a/tests/github/whatwg/dom/dom.html
+++ b/tests/github/whatwg/dom/dom.html
@@ -15228,63 +15228,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/encoding/encoding.html b/tests/github/whatwg/encoding/encoding.html
index 3e78677dca..70f7db738b 100644
--- a/tests/github/whatwg/encoding/encoding.html
+++ b/tests/github/whatwg/encoding/encoding.html
@@ -4723,63 +4723,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/fetch/fetch.html b/tests/github/whatwg/fetch/fetch.html
index af39289a4f..3e330355d4 100644
--- a/tests/github/whatwg/fetch/fetch.html
+++ b/tests/github/whatwg/fetch/fetch.html
@@ -8890,63 +8890,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/fullscreen/fullscreen.html b/tests/github/whatwg/fullscreen/fullscreen.html
index 38e8eed677..d822518000 100644
--- a/tests/github/whatwg/fullscreen/fullscreen.html
+++ b/tests/github/whatwg/fullscreen/fullscreen.html
@@ -1771,63 +1771,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/notifications/notifications.html b/tests/github/whatwg/notifications/notifications.html
index df7aa04d94..65d1a5793f 100644
--- a/tests/github/whatwg/notifications/notifications.html
+++ b/tests/github/whatwg/notifications/notifications.html
@@ -2619,63 +2619,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/storage/storage.html b/tests/github/whatwg/storage/storage.html
index 24be71ff6c..3acd6b1455 100644
--- a/tests/github/whatwg/storage/storage.html
+++ b/tests/github/whatwg/storage/storage.html
@@ -1581,63 +1581,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/streams/index.html b/tests/github/whatwg/streams/index.html
index 0f4609e74b..c93e2989f7 100644
--- a/tests/github/whatwg/streams/index.html
+++ b/tests/github/whatwg/streams/index.html
@@ -11582,63 +11582,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/url/url.html b/tests/github/whatwg/url/url.html
index a24771370e..b93c783aea 100644
--- a/tests/github/whatwg/url/url.html
+++ b/tests/github/whatwg/url/url.html
@@ -4530,63 +4530,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {
diff --git a/tests/github/whatwg/xhr/xhr.html b/tests/github/whatwg/xhr/xhr.html
index 03bf6c7135..417df5f77a 100644
--- a/tests/github/whatwg/xhr/xhr.html
+++ b/tests/github/whatwg/xhr/xhr.html
@@ -3765,63 +3765,6 @@ <h2 class="no-num no-ref heading settled" id="idl-index"><span class="content">I
 }
 }
 </script>
-<script>/* Boilerplate: script-position-annos */
-"use strict";
-{
-function repositionAnnoPanels(){
-    const panels = [...document.querySelectorAll("[data-anno-for]")];
-    hydratePanels(panels);
-    let vSoFar = 0;
-    for(const panel of panels.sort(cmpTops)) {
-        if(panel.top < vSoFar) {
-            panel.top = vSoFar;
-            panel.style.top = vSoFar + "px";
-        }
-        vSoFar = panel.top + panel.height + 15;
-    }
-}
-function hydratePanels(panels) {
-    const main = document.querySelector("main");
-    let mainRect;
-    if(main) mainRect = main.getBoundingClientRect();
-    // First display them all, if they're not already visible.
-    for(const panel of panels) {
-        panel.classList.remove("unpositioned");
-    }
-    // Measure them all
-    for(const panel of panels) {
-        const dfn = document.getElementById(panel.getAttribute("data-anno-for"));
-        if(!dfn) {
-            console.log("Can't find the annotation panel target:", panel);
-            continue;
-        }
-        panel.dfn = dfn;
-        panel.top = window.scrollY + dfn.getBoundingClientRect().top;
-        let panelRect = panel.getBoundingClientRect();
-        panel.height = panelRect.height;
-        if(main) {
-            panel.overlappingMain = panelRect.left < mainRect.right;
-        } else {
-            panel.overlappingMain = false;
-        }
-    }
-    // And finally position them
-    for(const panel of panels) {
-        const dfn = panel.dfn;
-        if(!dfn) continue;
-        panel.style.top = panel.top + "px";
-        panel.classList.toggle("overlapping-main", panel.overlappingMain);
-    }
-}
-
-function cmpTops(a,b) {
-    return a.top - b.top;
-}
-
-window.addEventListener("load", repositionAnnoPanels);
-window.addEventListener("resize", repositionAnnoPanels);
-}
-</script>
 <script>/* Boilerplate: script-ref-hints */
 "use strict";
 {