Additional option to suppress mini search/highlight popup - 5 views
With the browser extension, I found the mini search/highlight popup very annoying and was pleased to find an option to disable it in the settings. However, it still appears if I hover over any text...