diff --git a/client/src/config.json b/client/src/config.json
index d8f31662..b4ada82a 100644
--- a/client/src/config.json
+++ b/client/src/config.json
@@ -14,10 +14,7 @@
       ]
     },
     { "folder": "lean4web-tools",
-      "name": "Stable Lean",
-      "examples": [
-        {"file": "Webeditor.lean", "name": "Test"}
-      ]
+      "name": "Stable Lean"
     }
   ]
 }