diff --git a/CHANGELOG.md b/CHANGELOG.md
index 474182b..ead7e23 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,13 @@ All notable changes to the "rzk-1-experimental-highlighting" extension will be d
 
 Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
 
+### v0.3.0 — 2022-06-20
+
+This version introduces improvements to the highlighting:
+
+1. Add semantic highlighting via `rzk tokenize` feature in rzk (v0.5 and higher, see https://github.com/fizruk/rzk/pull/53) (see [#15](https://github.com/fizruk/vscode-rzk/pull/15));
+2. Fix a few issues with TextMate highlighting (see [#14](https://github.com/fizruk/vscode-rzk/pull/14))
+
 ### v0.2.6 — 2022-06-16
 
 Add Markdown Preview button for Literate Rzk (see [#16](https://github.com/fizruk/vscode-rzk/pull/16)).
diff --git a/README.md b/README.md
index ba545b8..afc9862 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,17 @@
 # rzk-1-experimental-highlighting README
 
-This is a simple syntax highlighter for `rzk`, an experimental proof assistant for synthetic ∞-categories.
+Syntax highlighting for [`rzk`](https://fizruk.github.io/rzk/), an experimental proof assistant for synthetic ∞-categories.
 
-![Syntax highlighting example.](images/example.png)
+![Syntax highlighting example.](images/example-unfolding-square.png)
+
+Features:
+
+1. Basic syntax highlighting with a simple TextMate grammar.
+2. Semantic highlighting via `rzk tokenize` (you must have `rzk` in your PATH, with version v0.5 or above).
+3. Markdown Preview button for `*.rzk.md` files.
 
 See [Changelog](CHANGELOG.md) for recent updated and changes.
+
+More examples:
+
+![Syntax highlighting example.](images/example-relfunext2.png)
diff --git a/images/example-relfunext2.png b/images/example-relfunext2.png
new file mode 100644
index 0000000..2e07c65
Binary files /dev/null and b/images/example-relfunext2.png differ
diff --git a/images/example-unfolding-square.png b/images/example-unfolding-square.png
new file mode 100644
index 0000000..92e28ba
Binary files /dev/null and b/images/example-unfolding-square.png differ
diff --git a/images/example.png b/images/example.png
deleted file mode 100644
index 398f0cd..0000000
Binary files a/images/example.png and /dev/null differ
diff --git a/package-lock.json b/package-lock.json
index 4f1d4ec..69ebbf4 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "rzk-1-experimental-highlighting",
-  "version": "0.2.5",
-  "lockfileVersion": 2,
+  "version": "0.3.0",
+  "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "rzk-1-experimental-highlighting",
-      "version": "0.2.5",
+      "version": "0.3.0",
       "devDependencies": {
         "@types/node": "^20.3.1",
         "@types/vscode": "^1.79.1",
@@ -14,7 +14,7 @@
         "typescript": "^5.1.3"
       },
       "engines": {
-        "vscode": "^1.76.0"
+        "vscode": "^1.79.1"
       }
     },
     "node_modules/@types/node": {
@@ -60,40 +60,5 @@
         "node": ">=14.17"
       }
     }
-  },
-  "dependencies": {
-    "@types/node": {
-      "version": "20.3.1",
-      "resolved": "https://registry.npmjs.org/@types/node/-/node-20.3.1.tgz",
-      "integrity": "sha512-EhcH/wvidPy1WeML3TtYFGR83UzjxeWRen9V402T8aUGYsCHOmfoisV3ZSg03gAFIbLq8TnWOJ0f4cALtnSEUg==",
-      "dev": true
-    },
-    "@types/vscode": {
-      "version": "1.79.1",
-      "resolved": "https://registry.npmjs.org/@types/vscode/-/vscode-1.79.1.tgz",
-      "integrity": "sha512-Ikwc4YbHABzqthrWfeAvItaAIfX9mdjMWxqNgTpGjhgOu0TMRq9LzyZ2yBK0JhYqoSjEubEPawf6zJgnl6Egtw==",
-      "dev": true
-    },
-    "argparse": {
-      "version": "2.0.1",
-      "resolved": "https://registry.npmjs.org/argparse/-/argparse-2.0.1.tgz",
-      "integrity": "sha512-8+9WqebbFzpX9OR+Wa6O29asIogeRMzcGtAINdpMHHyAg10f05aSFVBbcEqGf/PXw1EjAZ+q2/bEBg3DvurK3Q==",
-      "dev": true
-    },
-    "js-yaml": {
-      "version": "4.1.0",
-      "resolved": "https://registry.npmjs.org/js-yaml/-/js-yaml-4.1.0.tgz",
-      "integrity": "sha512-wpxZs9NoxZaJESJGIZTyDEaYpl0FKSA+FB9aJiyemKhMwkxQg63h4T1KJgUGHpTqPDNRcmmYLugrRjJlBtWvRA==",
-      "dev": true,
-      "requires": {
-        "argparse": "^2.0.1"
-      }
-    },
-    "typescript": {
-      "version": "5.1.3",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.1.3.tgz",
-      "integrity": "sha512-XH627E9vkeqhlZFQuL+UsyAXEnibT0kWR2FWONlr4sTjvxyJYnyefgrkyECLzM5NenmKzRAy2rR/OlYLA1HkZw==",
-      "dev": true
-    }
   }
 }
diff --git a/package.json b/package.json
index 0363031..dd7e686 100644
--- a/package.json
+++ b/package.json
@@ -3,17 +3,18 @@
   "displayName": "rzk syntax highlighting",
   "description": "Syntax Highlighting for rzk, an experimental proof assistant for synthetic ∞-categories",
   "icon": "images/icon.png",
-  "version": "0.2.6",
-  "repository": "https://github.com/fizruk/vscode-rzk/rzk-1-experimental-highlighting",
+  "version": "0.3.0",
+  "repository": "https://github.com/fizruk/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",
+  "activationEvents": [],
   "scripts": {
     "vscode:prepublish": "npm run compile",
     "compile": "tsc -p ./",
     "watch": "tsc --watch -p ./"
   },
   "engines": {
-    "vscode": "^1.76.0"
+    "vscode": "^1.79.1"
   },
   "categories": [
     "Programming Languages"