Changelog: 12 May 2026

Add a modal search interface powered by Pagefind Component UI to this site's navigation bar. Remove dedicated search page.