Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
more relative URL fixes
master make script
crazy iframes to bust github 24-hour caches.
edits, to test cache-busting.
automake the uncachable thing that will point to fingerprinted stuff, not the cachable thing that never goes out of style.
increase shell-page cachability to 5-seconds, not 1 ms, just in case there are a ton of requests suddenly. It'll be, like, 5000 times better.
sha224-hashed JS filename

The JS version is a hash of the contents, so it should be infinitely
cachable, and it won't change unless the actual contents change.
Changed main page generator to use the JS hash name.
Changed generated main page name to gen-main.html, so maybe I'll stop
trying to edit it directly.