Spec fixes

index.bs

@@ -80,18 +80,11 @@ urlPrefix: https://infra.spec.whatwg.org/; spec: Infra
 
 urlPrefix: https://html.spec.whatwg.org/C/; spec: html
   text: agent cluster key; type:dfn; url:agent-cluster-key
-  text: auxilliary browsing context; type:dfn; url:auxilliary-browsing-context
   text: browsing context; type:dfn; url:browsing-context
   text: browsing-context-group; type:dfn; url:browsing-context-group
   text: browsing context group; type:dfn; url:browsing-context-group
   text: browsing context group set; type:dfn; url:browsing-context-group-set
   text: Browsing context group switches due to cross-origin opener policy; type:dfn; url:browsing-context-group-switches-due-to-cross-origin-opener-policy
-  text: browsing context set; type:dfn; url:browsing context set
-  text: check if an access between two browsing contexts should be reported; type:dfn; url:coop-check-access-report
-  text: check if COOP values require a browsing context group switch; type: dfn; url: check-browsing-context-group-switch-coop-value
-  text: checking if COOP values require a browsing context group switch; type: dfn; url: check-browsing-context-group-switch-coop-value
-  text: check if enforcing report-only COOP would require a browsing context group switch; type: dfn; url: check-bcg-switch-report-only
-  text: checking if enforcing report-only COOP would require a browsing context group switch; type: dfn; url: check-bcg-switch-report-only
   text: COEP; type: dfn; url: coep
   text: COOP; type: dfn; url: cross-origin-opener-policies
   text: coop-enforcement-origin; type: dfn; url: coop-enforcement-origin

index.html

@@ -6,7 +6,7 @@
   <link href="https://www.w3.org/StyleSheets/TR/2021/cg-draft" rel="stylesheet">
   <meta content="Bikeshed version 82ce88815, updated Thu Sep 7 16:33:55 2023 -0700" name="generator">
   <link href="https://github.com/WICG/document-isolation-policy" rel="canonical">
-  <meta content="3db252427dddb27ab5d1b52f397f33da313d6d92" name="document-revision">
+  <meta content="f760b1ad77953895a14edf1b2cdbe9bbcc7bf701" name="document-revision">
 <style>
 .monkey-patch {
     padding: .5em;