                 "DuckDB:vortex-file-compressed": "duckdb:vortex",
                  "DuckDB:parquet": "duckdb:parquet",
                  "DuckDB:duckdb": "duckdb:duckdb",
                },
              },
            ],
          ]);
        } else {
          setTimeout(waitForInit, 100);
        }
      };
      
      waitForInit();
    </script>
  </head>

  <body>
    <!-- Sticky Header -->
    <header class="sticky-header">
      <div class="header-content">
        <div class="header-left">
     