4 ms·How different is this from a language server?by pca006132 4y agoHow different is this from a language server?