Subject: bug#18128: Should be done as part of the font-lock

From: Hong Xu <[email-masked]>
Date: Sat, 16 Jan 2016 22:22:45 -0800

I agree that this should be done as part of the font-lock. This issue
not only causes inconvenience, but also causes bug #21990, which does
not allow htmlfontify to correctly display the highlighting.

Hong