diff --git a/README.md b/README.md
index 22a98a3..faf7e01 100644
--- a/README.md
+++ b/README.md
@@ -15,6 +15,14 @@ To use the ImandraX extension, an `imandrax-cli` binary must be in your `PATH`.
 missing, this extension will prompt you to install it. It will effectively run the script from
 http://imandra.ai/get-imandrax.sh with all of the default options.
 
+### Updating ImandraX
+
+If you need to reinstall or update ImandraX, you can run the following command:
+
+```sh
+sh -c "$(curl -fsSL https://imandra.ai/get-imandrax.sh)"
+```
+
 ### Supported platforms
 
 ImandraX is currently supported on MacOS, Linux, and Windows via WSL.
diff --git a/package.json b/package.json
index 43c8111..1b37bb1 100644
--- a/package.json
+++ b/package.json
@@ -10,7 +10,7 @@
     "theme": "dark"
   },
   "license": "MIT",
-  "version": "0.0.42",
+  "version": "0.0.43",
   "repository": {
     "type": "git",
     "url": "https://github.com/imandra-ai/imandrax-vscode"