Fix up the simulated email headers in the HTML version of the release
announcement to match the ones in the real announcement posted to
announce@. (OK, one of the real announcements. I picked the one with
the earliest Date: header.)