Update README.md

README.md

@@ -1,6 +1,6 @@
 # Tamarin Visual Studio Code extension
 
-A Visual Studio Code extension for Tamarin files (.spthy) based on [giclu-3's extension](https://github.com/gilcu3/vscode-tamarin) and using [Tamarin's tree-sitter grammar](https://github.com/tamarin-prover/tamarin-prover/pull/648).
+The official Visual Studio Code extension for Tamarin files (.spthy) supported by the Tamarin team. Based on [giclu-3's extension](https://github.com/gilcu3/vscode-tamarin) and using [Tamarin's tree-sitter grammar](https://github.com/tamarin-prover/tamarin-prover/pull/648).
 
 ![Example](./images/error.png)
 
@@ -24,4 +24,4 @@ Features:
     This is a subset of the checks performed by Tamarin. For more details on Tamarin's wellformedness checks, see the corresponding [Tamarin Prover manual section](https://tamarin-prover.com/manual/master/book/010_modeling-issues.html).
 
 - Use right click and ```Rename``` on an indentifier to rename all occurences of it inside a rule or a lemma.
-- Use right click and ```Search Definition``` on facts or function names and press ```CTRL```+```TAB``` to navigate through all occurences.
+- Use right click and ```Search Definition``` on facts or function names and press ```CTRL```+```TAB``` to navigate through all occurences.