message: chore: update repo url
diff: ],
  "repository": {
  "type": "git",
  - "url": "https://github.com/leanprover/vscode-lean.git"
  + "url": "https://github.com/leanprover-community/vscode-lean4.git"
  },
  "contributes": {
  "configuration": {
  