Use upstream leanprover/vscode-lean4 since IDK why I had it set to a fork

Changes

1 changed files (+1/-1)

• Compose.lean
  • @@ -18,7 +18,7 @@ def main := do
    IO.Process.run { cmd := "curl", args := - #["https://raw.githubusercontent.com/vasnesterov/vscode-lean4/refs/heads/master/lean4-unicode-input/src/abbreviations.json"] } + #["https://raw.githubusercontent.com/leanprover/vscode-lean4/refs/heads/master/lean4-unicode-input/src/abbreviations.json"] } match Lean.Json.parse raw_abbrs with | .ok (.obj abbrs) => for abbr in abbrs do