diff --git a/package-lock.json b/package-lock.json
index 58e03bc..29f94dc 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1187,6 +1187,38 @@
         "reason-promise": "^1.0.1",
         "reason-react": ">=0.7.0",
         "reason-react-update": "^0.1.1"
+      },
+      "dependencies": {
+        "@glennsl/bs-json": {
+          "version": "5.0.2",
+          "resolved": "https://registry.npmjs.org/@glennsl/bs-json/-/bs-json-5.0.2.tgz",
+          "integrity": "sha512-vVlHJNrhmwvhyea14YiV4L5pDLjqw1edE3GzvMxlbPPQZVhzgO3sTWrUxCpQd2gV+CkMfk4FHBYunx9nWtBoDg=="
+        },
+        "agda-mode-vscode": {
+          "version": "github:banacorn/agda-mode-vscode#7593559fb216892cdaae91b67804509a73153c0b",
+          "from": "github:banacorn/agda-mode-vscode#759355",
+          "requires": {
+            "@glennsl/bs-json": "github:banacorn/bs-json#0c900d3",
+            "bs-nd": "^0.1.5",
+            "bs-platform": "^7.2",
+            "bs-webapi": "^0.15.3",
+            "compare-versions": "^3.5.1",
+            "eventemitter3": "^4.0.0",
+            "react": "^16.9.0",
+            "react-dom": "^16.9.0",
+            "reason-promise": "^1.0.1",
+            "reason-react": ">=0.7.0",
+            "reason-react-update": "^0.1.1",
+            "untildify": "^4.0.0",
+            "vscode-codicons": "^0.0.7"
+          },
+          "dependencies": {
+            "@glennsl/bs-json": {
+              "version": "github:banacorn/bs-json#0c900d3ad5c06eb2e6513a677096f1ec0411d282",
+              "from": "github:banacorn/bs-json#0c900d3"
+            }
+          }
+        }
       }
     },
     "has-flag": {
@@ -2825,9 +2857,9 @@
       "dev": true
     },
     "y18n": {
-      "version": "4.0.0",
-      "resolved": "https://registry.npmjs.org/y18n/-/y18n-4.0.0.tgz",
-      "integrity": "sha512-r9S/ZyXu/Xu9q1tYlpsLIsa3EeLXXk0VwlxqTcFRfg9EhMW+17kbt9G0NrgCmhGb5vT2hyhJZLfDGx+7+5Uj/w==",
+      "version": "4.0.1",
+      "resolved": "https://registry.npmjs.org/y18n/-/y18n-4.0.1.tgz",
+      "integrity": "sha512-wNcy4NvjMYL8gogWWYAO7ZFWFfHcbdbE57tZO8e4cbpj8tfUcwrwqSl3ad8HxpYWCdXcJUCeKKZS62Av1affwQ==",
       "dev": true
     },
     "yallist": {