Merge branch 'mr/remove_recommendations' into 'master'

Remove extension recommendations...

See merge request eng/ide/ada_language_server!1637

Author: setton

.vscode/extensions.json

@@ -3,14 +3,10 @@
       "ms-python.black-formatter",
       "ms-python.flake8",
       "ms-python.mypy-type-checker",
-      "editorconfig.editorconfig",
-      "dbaeumer.vscode-eslint",
-      "esbenp.prettier-vscode",
-      "gruntfuggly.triggertaskonsave",
-      "davidanson.vscode-markdownlint",
-      "adacore.ada",
       "ms-vscode.extension-test-runner",
-      "timonwong.shellcheck",
-      "foxundermoon.shell-format"
+      "davidanson.vscode-markdownlint",
+      "esbenp.prettier-vscode",
+      "dbaeumer.vscode-eslint",
+      "adacore.ada"
    ]
-}
+}