fix: guard against lean language id#738

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-opsqytlkuktlmhuisi/vscode-lean4:push-opsqytlkuktlCopy head branch name to clipboard