Minor improvements to version-specific download pages.
Improve srfi-std html files.

Re-encode in UTF-8, and for the main page also improve the text with
some racket-isms.  (Could use much more work, of course.)