Use sequence instead of map for data filters (#545)

SHA: d9eeae5
Reason: push, by @beaufortfrancois

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

tests.html

@@ -6,7 +6,7 @@
   <link href="https://www.w3.org/StyleSheets/TR/2016/cg-draft" rel="stylesheet">
   <meta content="Bikeshed version c6f50773a, updated Fri Apr 16 16:45:47 2021 -0700" name="generator">
   <link href="https://webbluetoothcg.github.io/web-bluetooth/tests" rel="canonical">
-  <meta content="3758135c89aae77f0ee3cbaf07310a0c4f47dd5f" name="document-revision">
+  <meta content="d9eeae5b77527154ddb7c1e4b5af9ec7feb4543d" name="document-revision">
 <style>
 .atrisk::before {
   content: '\25C0    May depend on implementation details';
@@ -572,7 +572,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/2016/logos/W3C" width="72"> </a> </p>
    <h1 class="p-name no-ref" id="title">Testing Web Bluetooth</h1>
-   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Community Group Report, <time class="dt-updated" datetime="2021-04-28">28 April 2021</time></span></h2>
+   <h2 class="no-num no-toc no-ref heading settled" id="profile-and-date"><span class="content">Draft Community Group Report, <time class="dt-updated" datetime="2021-04-29">29 April 2021</time></span></h2>
    <div data-fill-with="spec-metadata">
     <dl>
      <dt>This version: