Update docs

2026-05-10 19:11:39 +10:00
parent 21d59027a8
commit 752b8583a2
37 changed files with 214 additions and 583 deletions
--- a/docs/searcher-c2a407aa.js
+++ b/docs/searcher-c2a407aa.js
@@ -437,7 +437,7 @@ window.search = window.search || {};
        if (yes) {
            loadSearchScript(
                window.path_to_searchindex_js ||
-                path_to_root + 'searchindex-c4fb8585.js',
+                path_to_root + 'searchindex-5abcdab5.js',
                'mdbook-search-index');
            search_wrap.classList.remove('hidden');
            searchicon.setAttribute('aria-expanded', 'true');