I feel somewhat foolish - for years I thought the "Remove Highlight" button actually deleted the highlight. Today, I found out that it doesn't delete the highlight; it only changes the Highlight Style to "None." (Not sure why you would ever want that, but I digress).
My question is, how can I select all the Highlights with Highlight Style = "None" and delete them? I'm pretty sure I have thousands of them...
(I tried searching {Highlight None} and that didn't work).
Thanks!
