#38 It looks like there was some work on on general user preferences, but the actual highlighting wasn't getting disabled. I think it is now!
Merge pull request #131 from awolfe9/DisableHighlighting

#38 Disable highlighting, if you so desire!