Module: wt2html/tokenizer