#38 Disable highlighting, if you so desire!

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!