Kotlin LSP no longer supported?

[cx-alberto-simoes]

Hi
For what I can understand, Kotlin LSP from jetbrains is no longer available for download:
Error downloading file 'https://download-cdn.jetbrains.com/kotlin-lsp/0.253.10629/kotlin-0.253.10629.zip': 404

It seems that this is the successor. https://github.com/Kotlin/kotlin-lsp
Shall Serena be updated to download from this repo?
Also, not sure if it is a drop-in replacement.

Cheers

[opcode81]

Somebody already committed a fix as part of #1065. Maybe we should prioritise bringing it to main if it works.

[cx-alberto-simoes]

Great. I am trying too!

[itxashancode]

We have context: Kotlin LSP from JetBrains no longer available; they reference new repo Kotlin/kotlin-lsp. The question: Should Serena be updated to download from this repo? Also not sure if drop-in replacement. We have a comment from opcode81: Somebody already committed a fix as part of #1065. Likely the fix is already in PR #1065. In Serena repo, likely there is a script that downloads Kotlin LSP. Avoid "It's ", "To", etc. Start directly with answer. The fix in #1065 points Serena to https://github.com/Kotlin/kotlin-lsp/releases/download/v0.253.10629/kotlin-0.253.10629.zip, which is the exact replacement