This search functionality requires JavaScript and will not work if JavaScript is disabled or unavailable.
Searches are performed client-side, and dynamically download parts of a pre-chunked index from the server, as needed. This means that verbatim search queries do not have to be sent to the server (though they might if they are part of the initial URL), but requests to the server do vary depending on the search query.
