Merge pull request #741 from w3c/misc-fixes

SHA: 9b87555
Reason: push, by Djuffin

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

Author: Djuffin

flac_codec_registration.html

@@ -7,7 +7,7 @@
   <link href="https://www.w3.org/StyleSheets/TR/2021/W3C-ED" rel="stylesheet">
   <meta content="Bikeshed version 82ce88815, updated Thu Sep 7 16:33:55 2023 -0700" name="generator">
   <link href="https://www.w3.org/TR/webcodecs-flac-codec-registration/" rel="canonical">
-  <meta content="072c8e5034de2d0cd75d8a707acc8f8a41d12dcc" name="document-revision">
+  <meta content="9b87555e07c6eae06a2665ef5c0d12a082f418e8" name="document-revision">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {
     color: var(--a-normal-text);