3 ms·

Won’t be true for long any more since they just officially announced they’ll be releasing the language server.