4 ms·There is now a language server which facilitates the use of 3rd-party editors like VS Code.by okapii 7y agoThere is now a language server which facilitates the use of 3rd-party editors like VS Code.