It is now possible to search through ToCs on static websites renders. Only items under the current ToC are searched for.
Ideally we should also implement a mechanism to search across all headers from any page. This would require generating a JSON with all the headers and their renders and fetching it from JavaScript. Doable but more work. For now we keep it simple and only search the existing ToCs.
Announcements: