Blackbird

the same issue with Java extension(I installed openjdk23 and Zed by scoop): ``` Language server error: jdtls oneshot canceled -- stderr-- ```

> Updating to Java 23 worked for me. Now it works…it's confusing that I did nothing except changing my Network settings. Maybe the jdtls needs to update.

Similar error for clangd in Windows... After downloading clangd language server, Zed didn't unzip `clangd_20.1.0.zip` automatically in path `C:/Users/Blackbird/AppData/Local/Zed/languages/clangd`. I have to unzip the file manually then add the following...

Windows 11 系统，同样的问题，无论系统代理还是虚拟网卡模式，开启后很快就不能上网了。应用内显示一切正常，节点可正常测速，多端确认过不是节点的问题。

@uargos Hi, how about the progress of tree-sitter-lean? I made a [lean4 zed extension](https://github.com/blackbird314/zed-lean4) but the current tree-sitter is not ideal.