Though the page is output entirely in US-ASCII with Unicode characters
escaped as Ӓ that still doesn't appease W3C's HTML validator. It
wants us to explicitly declare an encoding. If we declare US-ASCII, it
also complains. Therefore declare UTF-8.