3 ms·

Thanks, today I learned something. I'll try it out. All the more disappointing that Jetbrains won't support a language server beyond Intellij.