diff --git a/tools/installer/lib/ide-setup.js b/tools/installer/lib/ide-setup.js
index 59ffb284..b6a29598 100644
--- a/tools/installer/lib/ide-setup.js
+++ b/tools/installer/lib/ide-setup.js
@@ -523,7 +523,7 @@ class IdeSetup {
         const settings = JSON.parse(settingsContent);
         let updated = false;
         
-        // Handle both contextFileName and contextFileNames properties
+        // Handle contextFileName property
         if (settings.contextFileName && Array.isArray(settings.contextFileName)) {
           const originalLength = settings.contextFileName.length;
           settings.contextFileName = settings.contextFileName.filter(
@@ -534,16 +534,6 @@ class IdeSetup {
           }
         }
         
-        if (settings.contextFileNames && Array.isArray(settings.contextFileNames)) {
-          const originalLength = settings.contextFileNames.length;
-          settings.contextFileNames = settings.contextFileNames.filter(
-            (fileName) => !fileName.startsWith("agents/")
-          );
-          if (settings.contextFileNames.length !== originalLength) {
-            updated = true;
-          }
-        }
-        
         if (updated) {
           await fileManager.writeFile(
             settingsPath,