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
TODO:  Maybe use a default arch to speed up search? Could try to detect arch via user-agent in PHP.
TODO:  Minify, consolidate
TODO:  re-export .svgs as plain svg
TODO:  readable credits in about.html or something