Switch to generating HTML ourselves, without the help of any XML/HTML library.