Theresa O’Connor

In reply to a tweet by @pjammer:

@pjammer yes, that's an artifact of most themes dating from before font-lock-comment-delimiter-face. color-theme-hober2 sets it.

This was originally posted on Twitter on .