message: Revise description.
  Looking at I realized that the displayed part of the description couldn't be less helpful...
diff: {
  "name": "lean4",
  "displayName": "lean4",
  - "description": "An extension for VS Code which provides support for the Lean 4 language.",
  + "description": "Lean 4 language support for VS Code",
  "version": "0.0.56",
  "publisher": "leanprover",
  "engines": {
  