 icon" type="image/x-icon">
  <link href="styles.css" rel="stylesheet" type="text/css">
  <link href="manifest.webmanifest" rel="manifest">
  <link href="apple-touch-icon.png" rel="apple-touch-icon" sizes="192x192" >

  <script src="https://cdn.jsdelivr.net/pako/1.0.3/pako.min.js"></script>
  <script>
    // Disable caching for some scripts (described here: https://stackoverflow.com/questions/118884/how-to-force-the-browser-to-reload-cached-css-js-files):
    const timestamp = Math.floor(Date.now());
    co