Every page of this site is indexed, including all 71 papers in full; a handful of words that appear on more than half the pages are dropped as uninformative. The index is downloaded once and searched in your browser: no query is sent to this site or to anyone else, and a page published a minute ago is findable a minute ago. It is a plain file, search-index.json, if you would rather search it yourself.