{# Startup performance optimization to tell WebKit to delay loading this page
    until it is clear that the user wants it to load #}
<html>
<head>
  <style>body {font-family: sans-serif;}</style>
  <!-- TODO keep the title of the page we're restoring -->
</head>
<body>
  <p><a href="{{ url }}">{% trans %}Loading…{% endtrans %}</a></p>
  <script>
    window.onfocus = () => location.reload()
    if (document.visibilityState == 'visible') location.reload()
  </script>
</body>
</html>
