HTML tokens now only escape quotes