Update README.md

README.md

@@ -3,19 +3,19 @@
 [![Available on the Visual Studio marketplace][vs-marketplace-shield]][vs-marketplace-link]
 [![Available on the Open VSX marketplace][open-vsx-shield]][open-vsx-link]
 
-[vs-marketplace-shield]: https://img.shields.io/visual-studio-marketplace/v/FlorianAlexanderMoser.vscode-proverif-language-service?label=Visual%20Studio%20Marketplace
-[vs-marketplace-link]: https://marketplace.visualstudio.com/items?itemName=FlorianAlexanderMoser.vscode-proverif-language-service
+[vs-marketplace-shield]: https://img.shields.io/visual-studio-marketplace/v/ProVerif.vscode-proverif?label=Visual%20Studio%20Marketplace
+[vs-marketplace-link]: https://marketplace.visualstudio.com/items?itemName=ProVerif.vscode-proverif
 
-[open-vsx-shield]: https://img.shields.io/open-vsx/v/FlorianAlexanderMoser/vscode-proverif-language-service
-[open-vsx-link]: https://open-vsx.org/extension/FlorianAlexanderMoser/vscode-proverif-language-service
+[open-vsx-shield]: https://img.shields.io/open-vsx/v/ProVerif/vscode-proverif
+[open-vsx-link]: https://open-vsx.org/extension/ProVerif/vscode-proverif
 
 Visual Studio Code extension for ProVerif files (.pv, .pvl, .pcv). 
 
 ![Screenshot showing how the extension shows errors from ProVerif](./docs/sample.png)
 
 Functionality:
 - Highlights the first syntax errors ProVerif finds with the corresponding error. For libraries, see below.
-- Press `CTRL` and click on an identifier to navigate to its definition. This feature is sill experimental, so do not fully trust it.
+- Press `CTRL` and click on an identifier to navigate to its definition.
 - Press `CTRL`+`SHIFT`+`B` to execute ProVerif over the currently opened file.
 - Configure the proverif bin in the settings, else it is taken from the `$PATH`.