message: Release 0.0.53
diff: "name": "lean4",
  "displayName": "lean4",
  "description": "An extension for VS Code which provides support for the Lean 4 language.",
  - "version": "0.0.52",
  + "version": "0.0.53",
  "publisher": "leanprover",
  "engines": {
  "vscode": "^1.57.0"
  