Update docs

2026-05-10 16:35:17 +10:00
parent 46d50c6b47
commit 21d59027a8
37 changed files with 5613 additions and 49 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-c698e2a6.js',
+                path_to_root + 'searchindex-c4fb8585.js',
                'mdbook-search-index');
            search_wrap.classList.remove('hidden');
            searchicon.setAttribute('aria-expanded', 'true');