A performance improvement for the HTML syntax highlighter