Do some HTML4 fixes and upgrade our HTML version to 4.01.