2 files changed, 4 insertions, 1 deletions

diff --git a/editors/README.md b/editors/README.md
index eb1004914..6e1189cad 100644
--- a/editors/README.md
+++ b/editors/README.md
@@ -5,6 +5,9 @@ In order to build the VS Code plugin, you need to have node.js and npm with
 a minimum version of 10 installed. Please refer to
 [node.js and npm documentation](https://nodejs.org) for installation instructions.
 
+You will also need the most recent version of VS Code: we don't try to
+maintain compatibility with older versions yet.
+
 The experimental VS Code plugin can then be built and installed by executing the
 following commands:
 
diff --git a/editors/code/package.json b/editors/code/package.json
index 045d372e7..4fc2cb754 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -13,7 +13,7 @@
         "Other"
     ],
     "engines": {
-        "vscode": "^1.30.0"
+        "vscode": "^1.31.0"
     },
     "scripts": {
         "vscode:prepublish": "npm run compile",