diff --git a/package-lock.json b/package-lock.json
index 58e03bc..75503fc 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.4",
+          "resolved": "https://registry.npmjs.org/@glennsl/bs-json/-/bs-json-5.0.4.tgz",
+          "integrity": "sha512-Th9DetZjRlMZrb74kgGJ44oWcoFyOTE884WlSuXft0Cd+J09vHRxiB7eVyK7Gthb4cSevsBBJDHYAbGGL25wPw=="
+        },
+        "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": {
@@ -1654,9 +1686,9 @@
       }
     },
     "minimist": {
-      "version": "1.2.5",
-      "resolved": "https://registry.npmjs.org/minimist/-/minimist-1.2.5.tgz",
-      "integrity": "sha512-FM9nNUYrRBAELZQT3xeZQ7fmMOBg6nWNmJKTcgsJeaLstP/UODVpGsr5OhXhhXg6f+qtJ8uiZ+PUxkDWcgIXLw==",
+      "version": "1.2.6",
+      "resolved": "https://registry.npmjs.org/minimist/-/minimist-1.2.6.tgz",
+      "integrity": "sha512-Jsjnk4bw3YJqYzbdyBiNsPWHPfO++UGG749Cxs6peCu5Xg4nrena6OVxOYxrQTqww0Jmwt+Ref8rggumkTLz9Q==",
       "dev": true
     },
     "minipass": {
@@ -1929,13 +1961,13 @@
       "dev": true
     },
     "prop-types": {
-      "version": "15.7.2",
-      "resolved": "https://registry.npmjs.org/prop-types/-/prop-types-15.7.2.tgz",
-      "integrity": "sha512-8QQikdH7//R2vurIJSutZ1smHYTcLpRWEOlHnzcWHmBYrOGUysKwSsrC89BCiFj3CbrfJ/nXFdJepOVrY1GCHQ==",
+      "version": "15.8.1",
+      "resolved": "https://registry.npmjs.org/prop-types/-/prop-types-15.8.1.tgz",
+      "integrity": "sha512-oj87CgZICdulUohogVAR7AjlC0327U4el4L6eAvOqCeudMDVU0NThNaV+b9Df4dXgSP1gXMTnPdhfe/2qDH5cg==",
       "requires": {
         "loose-envify": "^1.4.0",
         "object-assign": "^4.1.1",
-        "react-is": "^16.8.1"
+        "react-is": "^16.13.1"
       }
     },
     "prr": {