Changelog: 11 May 2026

Revert the user interface of this site's search bar to Pagefind 's original interface due to layout issues with using Pagefind Component UI with this site on mobile devices.