Fontify variables in comments

Can improve the readability of documentation comments at the expense of
more cluttered highlighting.  Since it's a rather unusual thing, it's
disabled by default