Don't prettify HTML (it changes significant whitespace).