diff --git a/index.html b/index.html
index 8bdc18e3..bc1849bc 100644
--- a/index.html
+++ b/index.html
@@ -6,7 +6,7 @@
   <meta content="w3c/ED" name="w3c-status">
   <meta content="Bikeshed version 82ce88815, updated Thu Sep 7 16:33:55 2023 -0700" name="generator">
   <link href="http://www.w3.org/TR/fedcm/" rel="canonical">
-  <meta content="f4e2a988cd102c6bf8e2c075c65e4b59f06cd08a" name="document-revision">
+  <meta content="ab072de3f41b7ff2f43c31b9742d7aff75f098b5" name="document-revision">
 <style>
 dl.domintro dt {
     font-family: Menlo, Consolas, "DejaVu Sans Mono", Monaco, monospace;