message: Add the hash redirect to the Gitpod app.
diff: <meta name="theme-color" content="#333333" />
  <meta name="google-site-verification" content="NBio3hCkfn2FKJpqZritJpXuyKo54noPGZzWsjDIp-M" />
  + <script>
  + if (window.location.pathname.length <= 1 && window.location.hash.indexOf("https://") > -1) {
  + window.location.replace("https://gitpod.io/" + window.location.hash);
  + }
  + </script>
  +
  <link rel="stylesheet" rel="preload" href="/font.css" as="style" />
  <link rel="stylesheet" href="/global.css" />
  <link rel="stylesheet" href="/styles.css" />
  