Checkin internal_filesystem/builtin/html/webrepl_inlined_minified.html

It gets generated by it's a small file that doesn't change often
and when users download internal_filesystem/ from git (to run a
statically compiled Linux build, for example) they need this.

.gitignore

@@ -37,5 +37,6 @@ c_mpos/breakout/build
 # build files
 *.bin
 
-# auto created by inline_minify_webrepl.py
-internal_filesystem/builtin/html/webrepl_inlined_minified.html
+# auto created by inline_minify_webrepl.py but still checked in because it's a small file
+# and when users download internal_filesystem/ from git (to run a statically compiled Linux build, for example) they need this
+# internal_filesystem/builtin/html/webrepl_inlined_minified.html

internal_filesystem/builtin/html/README.md

@@ -1 +1 @@
-This folder will be filled by the inline_minify_webrepl.py script.
+This folder gets filled by the webrepl/inline_minify_webrepl.py script.

webrepl/inline_minify_webrepl.py

@@ -129,12 +129,14 @@ def inline_assets() -> None:
     term_js = jsmin((base_dir / "term.js").read_text(encoding="utf-8"))
     file_saver_js = jsmin((base_dir / "FileSaver.js").read_text(encoding="utf-8"))
     webrepl_js = jsmin((base_dir / "webrepl.js").read_text(encoding="utf-8"))
+    webrepl_tweaks_js = jsmin((base_dir / "webrepl_tweaks.js").read_text(encoding="utf-8"))
 
     replacements = [
         (r"<link\s+rel=\"stylesheet\"\s+href=\"webrepl\.css\"\s*/?>", f"<style>{css}</style>"),
         (r"<script\s+src=\"term\.js\"\s*>\s*</script>", f"<script>{term_js}</script>"),
         (r"<script\s+src=\"FileSaver\.js\"\s*>\s*</script>", f"<script>{file_saver_js}</script>"),
         (r"<script\s+src=\"webrepl\.js\"\s*>\s*</script>", f"<script>{webrepl_js}</script>"),
+        (r"<script\s+src=\"webrepl_tweaks\.js\"\s*>\s*</script>", f"<script>{webrepl_tweaks_js}</script>"),
     ]
 
     for pattern, replacement in replacements: