Search across all text on this site, running entirely in your browser. For nerds: this searches a JSON file generated at build time holding the full text of every post, dataset, and doc, matched locally by a small script. It’s dead simple, efficient, and has no external dependencies. Short searches of 1-2 keywords work best.