TODO: decouple PHP from HTML, merge index.pgp and search.php. Just have templates and snippets and include those. TODO: change GET query vars to be shorter or switch to a different schema TODO: populate all the static pages, like About and stuff FIXME: flash of white on load for /search.php, also stuck loading with no args TODO: sgrep TODO FIXME: on manup.sh the mandoc generates slightly different HTML, like the headers. Needs CSS fixes. FIXME: outline on opt overflow checkbox is annoying