I’ve added this page only to bring the search box to the top of the page when viewed in mobile browsers. (You’d otherwise have to scroll to the bottom of each page to see it).