rewrite HTokenDisplay = HTMLTokenization.