| <meta charset="utf-8"> | |
| <title>LIBERO</title> | |
| <p id="status">Loading LIBERO (200 MB)…</p> | |
| <script> | |
| (async () => { | |
| const response = await fetch('index.html'); | |
| if (!response.ok) throw new Error(`HTTP ${response.status}`); | |
| const html = new Blob([await response.blob()], {type: 'text/html'}); | |
| location.replace(URL.createObjectURL(html)); | |
| })().catch(error => { | |
| document.getElementById('status').textContent = error.message; | |
| }); | |
| </script> | |