based on email from Ross Moore <ross@mpce.mq.edu.au>.

Set $HTML_VERSION to 4.0, since that's what we really generate (well,
4.0 "transitional").