Highlighting is implemented through a simple text replacement. Should it be done instead through the filtering system?