* css/tokenizer.flex: Rolled out the fix for 14453.