Update generated HTML from most recent build.

These files are vestiges of an old build/deploy process that I plan to
change soon. I'm updating them now mostly just for the sake of
completeness, but I will probably remove them from the repository
later (since, as you know kids, most generated files don't belong in
source control).