Is inderdaad een bugje; de highlighter zou eigenlijk eerst eventuele entiteiten in de tekst moeten omzetten naar karakters. Dubbel met [bugje] via search komt quote terug als & # 0 3 9 ; overigens, maar dit topic geeft een betere omschrijving van het probleem