Add ref to the extension in open-vsx

Gbury · Jul 28, 2023 · 7a07ac9 · 7a07ac9
1 parent f21f8a3
commit 7a07ac9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/doc/lsp.md b/doc/lsp.md
@@ -141,4 +141,8 @@ assume that [smtlib-mode](https://github.com/mebsout/smtlib-mode) is installed.
 
 ### VS Code
 
-Install the VS Code extension [SMT-LSP](https://marketplace.visualstudio.com/items?itemName=hra687261.smt-lsp), through the marketplace or by launching VS Code Quick Open (Ctrl+P) and running: `ext install hra687261.smt-lsp`
+Install the VS Code extension SMT-LSP, through the marketplace or by launching VS Code Quick Open (Ctrl+P) and running: `ext install hra687261.smt-lsp`
+
+The extension is available:
+- On the VS Code marketplace: https://marketplace.visualstudio.com/items?itemName=hra687261.smt-lsp
+- On the Open VSX Registry: https://open-vsx.org/extension/hra687261/smt-lsp.