message: chore: remove unnecessary ESLint setting
diff: "**/node_modules": true // set this to false to include "node_modules" folder in search results
  },
  "typescript.tsdk": "./node_modules/typescript/lib", // we want to use the TS server from our node_modules folder to control its version
  - "eslint.workingDirectories": [
  - "./lean4-infoview",
  - "./vscode-lean4",
  - "./lean4-infoview-api",
  - "./vscode-lean4/webview"
  - ],
  "files.insertFinalNewline": true,
  "files.trimTrailingWhitespace": true
  }
  