Merge pull request #2009 from w3c/mm/2007-fix-github-capitalization

SHA: 0d23dbf
Reason: push, by MasterKale

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

index.html

@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 4416b18d5, updated Tue Jan 2 15:52:39 2024 -0800" name="generator">
   <link href="https://www.w3.org/TR/webauthn-3/" rel="canonical">
-  <meta content="759221b4c49a46cd5569d333f44b660e8c71c73b" name="revision">
+  <meta content="0d23dbf849ba9c5ba09a16993419b2cc7102be7f" name="revision">
 <style type="text/css">
 body {
     counter-reset: table;