src/Tools/VSCode/extension/src/extension.ts

       command: run.command,
       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
   };
   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
 
-  let disposable =
-    new LanguageClient("Isabelle Language Service", server_options, client_options, false).start();
+  let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
   context.subscriptions.push(disposable);
 }
 
 export function deactivate() { }