// handle redirects
(() => {
    let anchorMap = {
        "installation": "installation.html",
        "getting-started": "getting_started.html#getting-started",
        "highlights": "getting_started.html#highlights",
        "contributing": "contributing.html",
        "projects-using-zarr": "getting_started.html#projects-using-zarr",
        "contents": "getting_started.html#contents",
        "indices-and-tables": "api.html#indices-and-tables"
    }

    let hash = window.location.hash.substring(1);
    if (hash && hash in anchorMap) {
            window.location.replace(anchorMap[hash]);
    }
})();
