TODO:  decouple PHP from HTML, merge index.php 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.
       This also breaks section # parsing I think.