--- a/scripts/install.py	Wed Mar 01 09:06:13 2023 +0100
+++ b/scripts/install.py	Wed Mar 29 10:03:06 2023 +0200
@@ -863,6 +863,11 @@
             ["*.xpm"],
         )
         copyTree(
+            os.path.join(eric7SourceDir, "MicroPython", "Tools"),
+            os.path.join(cfg["ericDir"], "MicroPython", "Tools"),
+            ["*.json"],
+        )
+        copyTree(
             os.path.join(eric7SourceDir, "UI", "data"),
             os.path.join(cfg["ericDir"], "UI", "data"),
             ["*.css"],