Put simple-html-tokenizer in a useful place