Misc typescript tweaks (#36523)

Some minor refactors, disable one obsolete lint rule, fix another. The
tribute type issue is not fully fixed and I'm pretty sure it must be an
error in their types.

web_src/js/render/ansi.ts

@@ -31,7 +31,7 @@ export function renderAnsi(line: string): string {
 
   // handle "\rReading...1%\rReading...5%\rReading...100%",
   // convert it into a multiple-line string: "Reading...1%\nReading...5%\nReading...100%"
-  const lines = [];
+  const lines: Array<string> = [];
   for (const part of line.split('\r')) {
     if (part === '') continue;
     const partHtml = ansi_up.ansi_to_html(part);