diff --git a/repl/acorn_detect_multiline_input.js.html b/repl/acorn_detect_multiline_input.js.html
index e74307b62..943f6a84e 100644
--- a/repl/acorn_detect_multiline_input.js.html
+++ b/repl/acorn_detect_multiline_input.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -691,7 +691,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/alias_overrides.js.html b/repl/alias_overrides.js.html
index d9c727ffc..65b03540b 100644
--- a/repl/alias_overrides.js.html
+++ b/repl/alias_overrides.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -166,7 +166,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/alias_to_string.js.html b/repl/alias_to_string.js.html
index 4b58954f2..4b0e47d66 100644
--- a/repl/alias_to_string.js.html
+++ b/repl/alias_to_string.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -205,7 +205,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/aliases.js.html b/repl/aliases.js.html
index 031506135..eded5b1b5 100644
--- a/repl/aliases.js.html
+++ b/repl/aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -175,7 +175,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/append_unique.js.html b/repl/append_unique.js.html
index 0fcaa19b4..13c0a01da 100644
--- a/repl/append_unique.js.html
+++ b/repl/append_unique.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -208,7 +208,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/commands.js.html b/repl/commands.js.html
index 274f68f86..9544d5c37 100644
--- a/repl/commands.js.html
+++ b/repl/commands.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -484,7 +484,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/commands/__done__.js.html b/repl/commands/__done__.js.html
index dd9398631..26555a76a 100644
--- a/repl/commands/__done__.js.html
+++ b/repl/commands/__done__.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -241,7 +241,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/alias2pkg.js.html b/repl/commands/alias2pkg.js.html
index ce8d32720..4e6d0ba28 100644
--- a/repl/commands/alias2pkg.js.html
+++ b/repl/commands/alias2pkg.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -328,7 +328,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/alias2related.js.html b/repl/commands/alias2related.js.html
index 289a5dd1c..d39ebf563 100644
--- a/repl/commands/alias2related.js.html
+++ b/repl/commands/alias2related.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -364,7 +364,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/ans.js.html b/repl/commands/ans.js.html
index 46d69c82b..cabc87560 100644
--- a/repl/commands/ans.js.html
+++ b/repl/commands/ans.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -217,7 +217,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/assignfrom.js.html b/repl/commands/assignfrom.js.html
index 86e32ea11..dbbfe6607 100644
--- a/repl/commands/assignfrom.js.html
+++ b/repl/commands/assignfrom.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -379,7 +379,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/assignin.js.html b/repl/commands/assignin.js.html
index 269cd98cb..028f197d2 100644
--- a/repl/commands/assignin.js.html
+++ b/repl/commands/assignin.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -409,7 +409,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/citation.js.html b/repl/commands/citation.js.html
index 0cae7c473..31d6571d5 100644
--- a/repl/commands/citation.js.html
+++ b/repl/commands/citation.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -313,7 +313,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/clear.js.html b/repl/commands/clear.js.html
index 56978d44f..2d2dba313 100644
--- a/repl/commands/clear.js.html
+++ b/repl/commands/clear.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -208,7 +208,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/clear_history.js.html b/repl/commands/clear_history.js.html
index 5e8e80f47..424bdbd7f 100644
--- a/repl/commands/clear_history.js.html
+++ b/repl/commands/clear_history.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -208,7 +208,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/clear_user_docs.js.html b/repl/commands/clear_user_docs.js.html
index 4a58261ba..43dd58042 100644
--- a/repl/commands/clear_user_docs.js.html
+++ b/repl/commands/clear_user_docs.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -700,7 +700,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/clear_vars.js.html b/repl/commands/clear_vars.js.html
index 850c2cad1..055f6c71a 100644
--- a/repl/commands/clear_vars.js.html
+++ b/repl/commands/clear_vars.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -241,7 +241,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/clear_workspace.js.html b/repl/commands/clear_workspace.js.html
index d920f722d..f6259738d 100644
--- a/repl/commands/clear_workspace.js.html
+++ b/repl/commands/clear_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -829,7 +829,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/contributor.js.html b/repl/commands/contributor.js.html
index 0f8067f29..03a6fafeb 100644
--- a/repl/commands/contributor.js.html
+++ b/repl/commands/contributor.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -298,7 +298,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/copyright.js.html b/repl/commands/copyright.js.html
index edb672f7f..88ed11a1a 100644
--- a/repl/commands/copyright.js.html
+++ b/repl/commands/copyright.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -238,7 +238,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/coverage.ndjson b/repl/commands/coverage.ndjson
index 6ea9b1534..894b5094a 100644
--- a/repl/commands/coverage.ndjson
+++ b/repl/commands/coverage.ndjson
@@ -3,3 +3,4 @@
 [2020,4478,45.1094,41,41,100,0,44,0,2020,4478,45.1094,"c7f7cba52560d5780b5f06692420b1a8efdb3be5","2023-11-16 17:39:11 -0800"]
 [2020,4478,45.1094,41,41,100,0,44,0,2020,4478,45.1094,"7746224337fae4691bf87ae5d2640f87a4db694f","2023-11-21 00:26:10 -0800"]
 [2020,4478,45.1094,41,41,100,0,44,0,2020,4478,45.1094,"fff61520f6023c0ac8ada8b8d66bec2c40481bee","2023-12-10 12:41:36 -0800"]
+[2020,4478,45.1094,41,41,100,0,44,0,2020,4478,45.1094,"dc725901069fa54145c477671bce274d911836b2","2024-02-23 18:32:22 -0800"]
diff --git a/repl/commands/credits.js.html b/repl/commands/credits.js.html
index 15f7c728f..ce6ba4671 100644
--- a/repl/commands/credits.js.html
+++ b/repl/commands/credits.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -247,7 +247,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/current_workspace.js.html b/repl/commands/current_workspace.js.html
index 56d181801..f408972d2 100644
--- a/repl/commands/current_workspace.js.html
+++ b/repl/commands/current_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -217,7 +217,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/deeprerequire.js.html b/repl/commands/deeprerequire.js.html
index 38e5a2315..a999a8a2d 100644
--- a/repl/commands/deeprerequire.js.html
+++ b/repl/commands/deeprerequire.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -385,7 +385,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/delete_workspace.js.html b/repl/commands/delete_workspace.js.html
index 2ec0c1412..da950daa6 100644
--- a/repl/commands/delete_workspace.js.html
+++ b/repl/commands/delete_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -352,7 +352,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/donate.js.html b/repl/commands/donate.js.html
index eab5af6ef..cc188c3fc 100644
--- a/repl/commands/donate.js.html
+++ b/repl/commands/donate.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -286,7 +286,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/evalin.js.html b/repl/commands/evalin.js.html
index 46bc37cb6..775dd77f8 100644
--- a/repl/commands/evalin.js.html
+++ b/repl/commands/evalin.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -499,7 +499,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/example.js.html b/repl/commands/example.js.html
index 215d1a988..64b68a776 100644
--- a/repl/commands/example.js.html
+++ b/repl/commands/example.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -583,7 +583,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/help.js.html b/repl/commands/help.js.html
index 5d4e492cc..4dc849404 100644
--- a/repl/commands/help.js.html
+++ b/repl/commands/help.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -544,7 +544,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/index.html b/repl/commands/index.html
index 6ebbf198a..75ae8e984 100644
--- a/repl/commands/index.html
+++ b/repl/commands/index.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> repl/lib/commands</h1>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -701,7 +701,7 @@ <h1><a href="../../../index.html">All files</a> repl/lib/commands</h1>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/info.js.html b/repl/commands/info.js.html
index 79cae8581..b3e228906 100644
--- a/repl/commands/info.js.html
+++ b/repl/commands/info.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -499,7 +499,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/is_keyword.js.html b/repl/commands/is_keyword.js.html
index 21f41fd4d..0f344a845 100644
--- a/repl/commands/is_keyword.js.html
+++ b/repl/commands/is_keyword.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -379,7 +379,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/is_workspace.js.html b/repl/commands/is_workspace.js.html
index fb75a9b25..8a54dbc61 100644
--- a/repl/commands/is_workspace.js.html
+++ b/repl/commands/is_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -328,7 +328,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/license_text.js.html b/repl/commands/license_text.js.html
index 261909790..2b9d88083 100644
--- a/repl/commands/license_text.js.html
+++ b/repl/commands/license_text.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -223,7 +223,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/load.js.html b/repl/commands/load.js.html
index b6d156986..a94838f16 100644
--- a/repl/commands/load.js.html
+++ b/repl/commands/load.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -421,7 +421,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/load_workspace.js.html b/repl/commands/load_workspace.js.html
index f86738b94..9a3830d9f 100644
--- a/repl/commands/load_workspace.js.html
+++ b/repl/commands/load_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -577,7 +577,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/presentation_start.js.html b/repl/commands/presentation_start.js.html
index 7f30e4520..7c16a218c 100644
--- a/repl/commands/presentation_start.js.html
+++ b/repl/commands/presentation_start.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -766,7 +766,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/presentation_stop.js.html b/repl/commands/presentation_stop.js.html
index a3f1e9031..b05ff0e02 100644
--- a/repl/commands/presentation_stop.js.html
+++ b/repl/commands/presentation_stop.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -436,7 +436,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/quit.js.html b/repl/commands/quit.js.html
index a33cfd1f5..889ec47cb 100644
--- a/repl/commands/quit.js.html
+++ b/repl/commands/quit.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -241,7 +241,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/rename_workspace.js.html b/repl/commands/rename_workspace.js.html
index 5672f5f04..8aad4dabd 100644
--- a/repl/commands/rename_workspace.js.html
+++ b/repl/commands/rename_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -424,7 +424,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/rerequire.js.html b/repl/commands/rerequire.js.html
index c40f6099f..bcc9927e1 100644
--- a/repl/commands/rerequire.js.html
+++ b/repl/commands/rerequire.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -304,7 +304,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/rerun.js.html b/repl/commands/rerun.js.html
index 7ce4b2577..5e5041775 100644
--- a/repl/commands/rerun.js.html
+++ b/repl/commands/rerun.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -553,7 +553,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/reset.js.html b/repl/commands/reset.js.html
index 0ace7f580..3e235fa23 100644
--- a/repl/commands/reset.js.html
+++ b/repl/commands/reset.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -208,7 +208,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/tutorial.js.html b/repl/commands/tutorial.js.html
index 3e067eb47..36920a25b 100644
--- a/repl/commands/tutorial.js.html
+++ b/repl/commands/tutorial.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -589,7 +589,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/user_doc.js.html b/repl/commands/user_doc.js.html
index c3b45f17d..8648a1d6d 100644
--- a/repl/commands/user_doc.js.html
+++ b/repl/commands/user_doc.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -394,7 +394,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/vars.js.html b/repl/commands/vars.js.html
index f4059d121..4e1efd0d1 100644
--- a/repl/commands/vars.js.html
+++ b/repl/commands/vars.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -250,7 +250,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/vars_workspace.js.html b/repl/commands/vars_workspace.js.html
index 6aef82113..048b5228e 100644
--- a/repl/commands/vars_workspace.js.html
+++ b/repl/commands/vars_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -712,7 +712,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/workspace.js.html b/repl/commands/workspace.js.html
index c057b77da..b43dfdea5 100644
--- a/repl/commands/workspace.js.html
+++ b/repl/commands/workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -478,7 +478,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/commands/workspaces.js.html b/repl/commands/workspaces.js.html
index b042dd4c1..4c0ca03cd 100644
--- a/repl/commands/workspaces.js.html
+++ b/repl/commands/workspaces.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -436,7 +436,7 @@ <h1><a href="../../../index.html">All files</a> / <a href="index.html">repl/lib/
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../../prettify.js"></script>
         <script>
diff --git a/repl/compile_code.js.html b/repl/compile_code.js.html
index a22ddd9d9..41acbc545 100644
--- a/repl/compile_code.js.html
+++ b/repl/compile_code.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -238,7 +238,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/compile_command.js.html b/repl/compile_command.js.html
index 024026826..5dfeeec67 100644
--- a/repl/compile_command.js.html
+++ b/repl/compile_command.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -265,7 +265,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_expression.js.html b/repl/complete_expression.js.html
index d4a18d1f5..dab330654 100644
--- a/repl/complete_expression.js.html
+++ b/repl/complete_expression.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -745,7 +745,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_fs.js.html b/repl/complete_fs.js.html
index a93882430..aaf3fff32 100644
--- a/repl/complete_fs.js.html
+++ b/repl/complete_fs.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -481,7 +481,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_require.js.html b/repl/complete_require.js.html
index a912b08c0..150a6067a 100644
--- a/repl/complete_require.js.html
+++ b/repl/complete_require.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -568,7 +568,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_tutorial.js.html b/repl/complete_tutorial.js.html
index 8a8e3ea33..6a53307a1 100644
--- a/repl/complete_tutorial.js.html
+++ b/repl/complete_tutorial.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -349,7 +349,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_walk_find_last.js.html b/repl/complete_walk_find_last.js.html
index 7bf2395ce..32cd74664 100644
--- a/repl/complete_walk_find_last.js.html
+++ b/repl/complete_walk_find_last.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -1270,7 +1270,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/complete_workspace.js.html b/repl/complete_workspace.js.html
index 9bf3beacd..0682321af 100644
--- a/repl/complete_workspace.js.html
+++ b/repl/complete_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -352,7 +352,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/completer.js.html b/repl/completer.js.html
index 1f6ecb29b..43f1978e3 100644
--- a/repl/completer.js.html
+++ b/repl/completer.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -598,7 +598,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/contains.js.html b/repl/contains.js.html
index 9caff2cfd..2ae826bfb 100644
--- a/repl/contains.js.html
+++ b/repl/contains.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -250,7 +250,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/coverage.ndjson b/repl/coverage.ndjson
index d5d13000b..5b2a74468 100644
--- a/repl/coverage.ndjson
+++ b/repl/coverage.ndjson
@@ -3,3 +3,4 @@
 [4124,7307,56.439,77,81,95.0617,5,91,5.49451,4124,7307,56.439,"c7f7cba52560d5780b5f06692420b1a8efdb3be5","2023-11-16 17:39:11 -0800"]
 [4124,7307,56.439,77,81,95.0617,5,91,5.49451,4124,7307,56.439,"7746224337fae4691bf87ae5d2640f87a4db694f","2023-11-21 00:26:10 -0800"]
 [4124,7307,56.439,77,81,95.0617,5,91,5.49451,4124,7307,56.439,"fff61520f6023c0ac8ada8b8d66bec2c40481bee","2023-12-10 12:41:36 -0800"]
+[4124,7307,56.439,77,81,95.0617,5,91,5.49451,4124,7307,56.439,"dc725901069fa54145c477671bce274d911836b2","2024-02-23 18:32:22 -0800"]
diff --git a/repl/create_accessor.js.html b/repl/create_accessor.js.html
index 9a8b083ea..db18ca408 100644
--- a/repl/create_accessor.js.html
+++ b/repl/create_accessor.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -238,7 +238,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/create_evaluation_context.js.html b/repl/create_evaluation_context.js.html
index 543c6bb5a..dd64c986b 100644
--- a/repl/create_evaluation_context.js.html
+++ b/repl/create_evaluation_context.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -361,7 +361,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/create_require.js.html b/repl/create_require.js.html
index e67572a02..bf48deaba 100644
--- a/repl/create_require.js.html
+++ b/repl/create_require.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -421,7 +421,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/defaults.js.html b/repl/defaults.js.html
index ba9e1694d..153c02658 100644
--- a/repl/defaults.js.html
+++ b/repl/defaults.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -253,7 +253,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/display_prompt.js.html b/repl/display_prompt.js.html
index 192208154..bcf4d7b20 100644
--- a/repl/display_prompt.js.html
+++ b/repl/display_prompt.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -271,7 +271,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/drain.js.html b/repl/drain.js.html
index 3426d0683..d0ef38788 100644
--- a/repl/drain.js.html
+++ b/repl/drain.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -778,7 +778,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/filter_by_prefix.js.html b/repl/filter_by_prefix.js.html
index ce9aacbbc..faf706260 100644
--- a/repl/filter_by_prefix.js.html
+++ b/repl/filter_by_prefix.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -220,7 +220,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/find_unique_entry.js.html b/repl/find_unique_entry.js.html
index 13700dcb2..4d30a251d 100644
--- a/repl/find_unique_entry.js.html
+++ b/repl/find_unique_entry.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -313,7 +313,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/fs_alias_args.js.html b/repl/fs_alias_args.js.html
index 3bee676ae..0b1f325f9 100644
--- a/repl/fs_alias_args.js.html
+++ b/repl/fs_alias_args.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -214,7 +214,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/fs_aliases.js.html b/repl/fs_aliases.js.html
index 7d005ef73..6a9c0fd79 100644
--- a/repl/fs_aliases.js.html
+++ b/repl/fs_aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -268,7 +268,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/globals.js.html b/repl/globals.js.html
index 2af86dd4f..a6681505a 100644
--- a/repl/globals.js.html
+++ b/repl/globals.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -229,7 +229,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/has_async_directive.js.html b/repl/has_async_directive.js.html
index cf8f67bd8..342e56f4b 100644
--- a/repl/has_async_directive.js.html
+++ b/repl/has_async_directive.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -280,7 +280,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/help_text.js.html b/repl/help_text.js.html
index 868b4991d..58635cc72 100644
--- a/repl/help_text.js.html
+++ b/repl/help_text.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -370,7 +370,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/index.html b/repl/index.html
index 50600ad2e..3e2e2f049 100644
--- a/repl/index.html
+++ b/repl/index.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> repl/lib</h1>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -1091,7 +1091,7 @@ <h1><a href="../../index.html">All files</a> repl/lib</h1>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/index.js.html b/repl/index.js.html
index 71179d123..e535e03e6 100644
--- a/repl/index.js.html
+++ b/repl/index.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -229,7 +229,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/index_of.js.html b/repl/index_of.js.html
index db053a773..a48394346 100644
--- a/repl/index_of.js.html
+++ b/repl/index_of.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -250,7 +250,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/input_prompt.js.html b/repl/input_prompt.js.html
index 85e8908bc..4b3b827a3 100644
--- a/repl/input_prompt.js.html
+++ b/repl/input_prompt.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -211,7 +211,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/is_block_scope.js.html b/repl/is_block_scope.js.html
index 8e4f1686c..4af552484 100644
--- a/repl/is_block_scope.js.html
+++ b/repl/is_block_scope.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -205,7 +205,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/is_scope.js.html b/repl/is_scope.js.html
index 66d09eb63..2714fa29b 100644
--- a/repl/is_scope.js.html
+++ b/repl/is_scope.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -205,7 +205,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/is_silent_command.js.html b/repl/is_silent_command.js.html
index 4f4bf5bd3..e5f8600d2 100644
--- a/repl/is_silent_command.js.html
+++ b/repl/is_silent_command.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -322,7 +322,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/log.js.html b/repl/log.js.html
index bd062bdb6..88c72ceac 100644
--- a/repl/log.js.html
+++ b/repl/log.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -205,7 +205,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/main.js.html b/repl/main.js.html
index bd59be5d4..3d4a34004 100644
--- a/repl/main.js.html
+++ b/repl/main.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -2842,7 +2842,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/process_command.js.html b/repl/process_command.js.html
index 5a4e78404..ed583f75c 100644
--- a/repl/process_command.js.html
+++ b/repl/process_command.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -622,7 +622,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/process_line.js.html b/repl/process_line.js.html
index 6960f0b73..3cb679a6b 100644
--- a/repl/process_line.js.html
+++ b/repl/process_line.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -493,7 +493,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/process_top_level_await.js.html b/repl/process_top_level_await.js.html
index f5383685f..18bb7846a 100644
--- a/repl/process_top_level_await.js.html
+++ b/repl/process_top_level_await.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -1081,7 +1081,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/property_comparator.js.html b/repl/property_comparator.js.html
index 21862fec5..a4f9c3c4c 100644
--- a/repl/property_comparator.js.html
+++ b/repl/property_comparator.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -160,30 +160,30 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
 <span class="cline-any cline-yes">5x</span>
 <span class="cline-any cline-yes">5x</span>
 <span class="cline-any cline-yes">5x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
 <span class="cline-any cline-no">&nbsp;</span>
 <span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-yes">47900x</span>
+<span class="cline-any cline-yes">48915x</span>
 <span class="cline-any cline-no">&nbsp;</span>
 <span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">47900x</span>
-<span class="cline-any cline-yes">8780x</span>
-<span class="cline-any cline-yes">8780x</span>
-<span class="cline-any cline-yes">47900x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">48915x</span>
+<span class="cline-any cline-yes">9180x</span>
+<span class="cline-any cline-yes">9180x</span>
+<span class="cline-any cline-yes">48915x</span>
 <span class="cline-any cline-no">&nbsp;</span>
 <span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-yes">39120x</span>
-<span class="cline-any cline-yes">47900x</span>
+<span class="cline-any cline-yes">39735x</span>
+<span class="cline-any cline-yes">48915x</span>
 <span class="cline-any cline-yes">5x</span>
 <span class="cline-any cline-yes">5x</span>
 <span class="cline-any cline-yes">5x</span>
@@ -259,7 +259,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_fs_aliases.js.html b/repl/regexp_fs_aliases.js.html
index aaefea085..0d72411d5 100644
--- a/repl/regexp_fs_aliases.js.html
+++ b/repl/regexp_fs_aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -391,7 +391,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_index.js.html b/repl/regexp_index.js.html
index 4173f726a..64316eac2 100644
--- a/repl/regexp_index.js.html
+++ b/repl/regexp_index.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -268,7 +268,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_leading_whitespace.js.html b/repl/regexp_leading_whitespace.js.html
index d3da4b620..9fd46a5dc 100644
--- a/repl/regexp_leading_whitespace.js.html
+++ b/repl/regexp_leading_whitespace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -226,7 +226,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_path.js.html b/repl/regexp_path.js.html
index cb50a8c3b..cf71580c3 100644
--- a/repl/regexp_path.js.html
+++ b/repl/regexp_path.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -271,7 +271,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_relative_require_path.js.html b/repl/regexp_relative_require_path.js.html
index 7d33e29be..d05c3356d 100644
--- a/repl/regexp_relative_require_path.js.html
+++ b/repl/regexp_relative_require_path.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -340,7 +340,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_require.js.html b/repl/regexp_require.js.html
index 46f5d93b0..1c3b51625 100644
--- a/repl/regexp_require.js.html
+++ b/repl/regexp_require.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -367,7 +367,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_tutorial.js.html b/repl/regexp_tutorial.js.html
index 518a9bb9f..605ab66b0 100644
--- a/repl/regexp_tutorial.js.html
+++ b/repl/regexp_tutorial.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -388,7 +388,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/regexp_workspace.js.html b/repl/regexp_workspace.js.html
index df411b9a3..6a88a479a 100644
--- a/repl/regexp_workspace.js.html
+++ b/repl/regexp_workspace.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -388,7 +388,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/repl_docs.js.html b/repl/repl_docs.js.html
index d82ae61a1..5d1c00eeb 100644
--- a/repl/repl_docs.js.html
+++ b/repl/repl_docs.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -193,7 +193,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/reserved_keywords_common.js.html b/repl/reserved_keywords_common.js.html
index 193179255..55d1fe3f0 100644
--- a/repl/reserved_keywords_common.js.html
+++ b/repl/reserved_keywords_common.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -217,7 +217,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/reserved_keywords_empty_block_statement.js.html b/repl/reserved_keywords_empty_block_statement.js.html
index 3f62b7b6d..b881c93ea 100644
--- a/repl/reserved_keywords_empty_block_statement.js.html
+++ b/repl/reserved_keywords_empty_block_statement.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -193,7 +193,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/resolve_local_scope.js.html b/repl/resolve_local_scope.js.html
index 3dda0fe08..d841b35d3 100644
--- a/repl/resolve_local_scope.js.html
+++ b/repl/resolve_local_scope.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -301,7 +301,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/resolve_local_scopes.js.html b/repl/resolve_local_scopes.js.html
index 63d51b9cd..e548d38e9 100644
--- a/repl/resolve_local_scopes.js.html
+++ b/repl/resolve_local_scopes.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -808,7 +808,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/restore_regexp_matches.js.html b/repl/restore_regexp_matches.js.html
index 8c39b464b..a2490fbfe 100644
--- a/repl/restore_regexp_matches.js.html
+++ b/repl/restore_regexp_matches.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -214,7 +214,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/set_aliases.js.html b/repl/set_aliases.js.html
index 5c89d77df..a370f0e61 100644
--- a/repl/set_aliases.js.html
+++ b/repl/set_aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -331,7 +331,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/set_aliases_global.js.html b/repl/set_aliases_global.js.html
index 48657c277..4fce49e8b 100644
--- a/repl/set_aliases_global.js.html
+++ b/repl/set_aliases_global.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -490,7 +490,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/set_commands.js.html b/repl/set_commands.js.html
index f53327626..19bd83a78 100644
--- a/repl/set_commands.js.html
+++ b/repl/set_commands.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -262,7 +262,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/set_commands_global.js.html b/repl/set_commands_global.js.html
index 67588ff2c..08df65e2e 100644
--- a/repl/set_commands_global.js.html
+++ b/repl/set_commands_global.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -286,7 +286,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/setdiff.js.html b/repl/setdiff.js.html
index 9f8b31189..fe85971b7 100644
--- a/repl/setdiff.js.html
+++ b/repl/setdiff.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -649,7 +649,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/tutorial_alias_args.js.html b/repl/tutorial_alias_args.js.html
index ddf32271d..806991c8b 100644
--- a/repl/tutorial_alias_args.js.html
+++ b/repl/tutorial_alias_args.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -214,7 +214,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/tutorial_aliases.js.html b/repl/tutorial_aliases.js.html
index 65b16ad18..821bcf148 100644
--- a/repl/tutorial_aliases.js.html
+++ b/repl/tutorial_aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -208,7 +208,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/update_regexp_cache.js.html b/repl/update_regexp_cache.js.html
index 66e477b0a..7607f1111 100644
--- a/repl/update_regexp_cache.js.html
+++ b/repl/update_regexp_cache.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -211,7 +211,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/validate.js.html b/repl/validate.js.html
index 81087a430..0b49633a3 100644
--- a/repl/validate.js.html
+++ b/repl/validate.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -538,7 +538,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/welcome_text.js.html b/repl/welcome_text.js.html
index e06110f84..713db1e91 100644
--- a/repl/welcome_text.js.html
+++ b/repl/welcome_text.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -226,7 +226,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/workspace_alias_args.js.html b/repl/workspace_alias_args.js.html
index 4ef79f8a6..342821a91 100644
--- a/repl/workspace_alias_args.js.html
+++ b/repl/workspace_alias_args.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -214,7 +214,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>
diff --git a/repl/workspace_aliases.js.html b/repl/workspace_aliases.js.html
index 6f9e61395..cfe8c2ec9 100644
--- a/repl/workspace_aliases.js.html
+++ b/repl/workspace_aliases.js.html
@@ -57,7 +57,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input type="search" id="fileSearch">
             </div>
         </template>
     </div>
@@ -232,7 +232,7 @@ <h1><a href="../../index.html">All files</a> / <a href="index.html">repl/lib</a>
             <div class='footer quiet pad2 space-top1 center small'>
                 Code coverage generated by
                 <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-12-10T20:43:38.349Z
+                at 2024-02-24T02:33:53.504Z
             </div>
         <script src="../../prettify.js"></script>
         <script>