index.html

I can't be bothered to fiddle with the server's cache settings,
and it doesn't matter anyway.