diff --git a/editors/vscode/CHANGELOG.md b/editors/vscode/CHANGELOG.md
index 7354bc04..c68d2c4f 100644
--- a/editors/vscode/CHANGELOG.md
+++ b/editors/vscode/CHANGELOG.md
@@ -4,7 +4,6 @@
 
 Language server integration.
 
-- First VS Code Marketplace release as `veralang.vera-language`
 - Bundles the extension runtime instead of shipping raw `node_modules`
 - The extension now starts Vera's language server (`vera lsp`) for
   `.vera` files: proof-aware diagnostics with verification-tier hints,
diff --git a/editors/vscode/README.md b/editors/vscode/README.md
index 57482947..0b89f14e 100644
--- a/editors/vscode/README.md
+++ b/editors/vscode/README.md
@@ -72,20 +72,6 @@ The **Vera: Restart Language Server** command restarts the server
 
 ## Installation
 
-### VS Code Marketplace
-
-Install **Vera Language** from the Extensions view, or run:
-
-```bash
-code --install-extension veralang.vera-language
-```
-
-### From VSIX
-
-```bash
-code --install-extension vera-language-0.2.0.vsix
-```
-
 ### From source
 
 **Fresh clone:**