Slightly better named character reference tokenization than Chrome, Safari, FF