Interestingly enough, I turned this off some time ago, and just yesterday, I noticed the hover behavior, and had to go back and turn it off again. I wonder if s

Interestingly enough, I turned this off some time ago, and just yesterday, I noticed the hover behavior, and had to go back and turn it off again. I wonder if some / all of user prefs for this field got botched? Thankfully, unlike sibling comments to mine, I still had the option and it worked no problem.