I will likely add support for my Oberon+ language and also migrate the Verilog and Lola plugins to LeanCreator. LSP support is not planned so far, because for each language also the toolchain must be supported including e.g. a decent debugger integration, which is far more effort than just parsing the language.