benchmark-lsp: rneame TypeScript-Theia -> TypeScript

It looks like TypeScript's LSP server migrated from
https://github.com/theia-ide/typescript-language-server to
https://github.com/typescript-language-server/typescript-language-server,
dropping the Theia branding. Remove our mention of Theia internally and
on the website's benchmark results.

Author: strager

benchmark/benchmark-lsp/LSPBenchmark.hs

@@ -130,8 +130,8 @@ initializeLSP initializationOptions = do
   -- Flow's LSP server requires rootURI.
   let rootURI = LSP.filePathToUri rootPath
   let workspaceFolders = [LSP.WorkspaceFolder (LSP.getUri rootURI) "benchmarks"]
-  -- PublishDiagnosticsClientCapabilities is required by the TypeScript-Theia
-  -- LSP server since version 0.6.0:
+  -- PublishDiagnosticsClientCapabilities is required by the TypeScript LSP
+  -- server since version 0.6.0:
   -- https://github.com/typescript-language-server/typescript-language-server/pull/229
   let textDocumentClientCapabilities =
         def {LSP._publishDiagnostics = Just (LSP.PublishDiagnosticsClientCapabilities Nothing Nothing Nothing)}

benchmark/benchmark-lsp/Main.hs

@@ -326,9 +326,9 @@ waitForOneDiagnosticsMessageOrTimeout timeoutMicroseconds = do
       Nothing -> return Nothing
       _ -> fail "Unimplemented message"
 
--- | HACK(strager): Some LSP servers, such as Flow and TypeScript-Theia, give us
--- an empty list of diagnostics before giving us the real list of diagnostics.
--- Skip the empty list and wait for the real list.
+-- | HACK(strager): Some LSP servers, such as Flow and TypeScript, give us an
+-- empty list of diagnostics before giving us the real list of diagnostics. Skip
+-- the empty list and wait for the real list.
 waitUntilSomeDiagnosticsWithTimeout :: Int -> LSPM [LSP.Diagnostic]
 waitUntilSomeDiagnosticsWithTimeout timeoutMicroseconds =
   fix $ \loop ->

benchmark/benchmark-lsp/benchmark-config.json

@@ -60,7 +60,7 @@
       "allowIncrementalChanges": false
     },
     {
-      "name": "TypeScript-Theia",
+      "name": "TypeScript",
       "command": ["node", "./node_modules/.bin/typescript-language-server", "--stdio"],
       "cwd": "typescript/",
       "needFilesOnDisk": true

website/public/benchmarks/criterion-json-to-html.mjs

@@ -159,7 +159,7 @@ class Series {
       RSLint: 120.0,
       Flow: 180.0,
       Deno: 240.0,
-      "TypeScript-Theia": 300.0,
+      TypeScript: 300.0,
     };
     return hues[this.name];
   }

website/public/benchmarks/index.ejs.html

@@ -120,8 +120,8 @@ <h2>Methodology</h2>
           </li>
           <li>
             <strong class="linter-name" style="--hue: 300">TypeScript</strong>
-            version 4.2.4 (with Theia's language server version 0.5.1 and Node
-            version v16.0.0)
+            version 4.2.4 (with language server version 0.5.1 and Node version
+            v16.0.0)
           </li>
         </ul>