Merge pull request #341 from w3c/meeting-2023-01-05

SHA: 8452617
Reason: push, by Rob--W

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

specification/index.html

@@ -6,9 +6,9 @@
   <meta content="w3c/CG-DRAFT" name="w3c-status">
   <link href="https://www.w3.org/StyleSheets/TR/2021/cg-draft" rel="stylesheet">
   <link href="https://www.w3.org/2008/site/images/favicon.ico" rel="icon">
-  <meta content="Bikeshed version 26e85e599, updated Thu Dec 8 15:29:31 2022 -0800" name="generator">
+  <meta content="Bikeshed version d6f2d6445, updated Tue Jan 17 11:25:25 2023 -0800" name="generator">
   <link href="https://w3c.github.io/webextensions" rel="canonical">
-  <meta content="aebbe3e01941e02ab2d5fc3c94ceae0db7f25cb2" name="document-revision">
+  <meta content="8452617c9bef9c4f75b63555bcaebaba55723907" name="document-revision">
 <style>/* style-autolinks */
 
 .css.css, .property.property, .descriptor.descriptor {
@@ -414,7 +414,7 @@
   <div class="head">
    <p data-fill-with="logo"><a class="logo" href="https://www.w3.org/"> <img alt="W3C" height="48" src="https://www.w3.org/StyleSheets/TR/2021/logos/W3C" width="72"> </a> </p>
    <h1 class="p-name no-ref" id="title">Web Extensions</h1>
-   <p id="w3c-state"><a href="https://www.w3.org/standards/types#CG-DRAFT">Draft Community Group Report</a>, <time class="dt-updated" datetime="2023-01-05">5 January 2023</time></p>
+   <p id="w3c-state"><a href="https://www.w3.org/standards/types#CG-DRAFT">Draft Community Group Report</a>, <time class="dt-updated" datetime="2023-01-18">18 January 2023</time></p>
    <details open>
     <summary>More details about this document</summary>
     <div data-fill-with="spec-metadata">
@@ -506,7 +506,7 @@ <h2 class="no-num no-toc no-ref" id="contents">Table of Contents</h2>
   <main>
    <h2 class="heading settled" data-level="1" id="file-structure"><span class="secno">1. </span><span class="content">File structure</span><a class="self-link" href="#file-structure"></a></h2>
    <p>Once unpacked from the distribution format, a WebExtension is a directory containing a number of files.</p>
-   <p class="note" role="note"><span>Note:</span> In some operating systems, filenames are case insensitive. This can lead to naming collisions.</p>
+   <p class="note" role="note"><span class="marker">Note:</span> In some operating systems, filenames are case insensitive. This can lead to naming collisions.</p>
    <h3 class="heading settled" data-level="1.1" id="manifestjson"><span class="secno">1.1. </span><span class="content">manifest.json</span><a class="self-link" href="#manifestjson"></a></h3>
    <p>A <a href="#manifest">Manifest</a> file.</p>
    <h3 class="heading settled" data-level="1.2" id="_locales-subdirectory"><span class="secno">1.2. </span><span class="content">_locales subdirectory</span><a class="self-link" href="#_locales-subdirectory"></a></h3>