Updated the exported html.

I am somewhat annoyed with myself for how easy it is to forget to export
the org file changes.  :(  Not sure I'll do anything about it, though.
It is an obvious thing to catch, provided I, you know, look at the
published page.