The index ships with the page and is matched in your browser — search works offline and never hits a server. / focuses it from anywhere.
/
Type to search. Press “/” to focus from anywhere.