message: doc: cr feedback
diff: # Lean 4 VSCode Extension
  -This extension provides VSCode editor support for the Lean 4 programming language. It is based on
  -[vscode-lean](https://github.com/leanprover/vscode-lean) with the addition of an all new [Language
  -Server](https://docs.microsoft.com/en-us/visualstudio/extensibility/language-server-protocol)
  +This extension provides VSCode editor support for the Lean 4 programming language. It is uses the
  +all new [Language Server](https://docs.microsoft.com/en-us/visualstudio/extensibility/language-server-protocol)
  implemented in Lean.
  ## Installing the extension and Lean 4
  