I see. Thanks for the clarification. I would greatly appreciate the search highlighting feature in .skim.
A little bit about my workflow (in case it’s useful): I use pdf annotates a lot and write comments with annotations. In my workflow often the thing I want to search is in my annotation comments, which don’t appear PDF. So these can’t be searched with most PDF viewers. Skim lets me search in annotations. I like that EagleFiler does search in the annotations, which makes things a lot easy for me already. But to quickly zone in on the exact search results/annotation, it takes another 2 operations. So the highlighting results in .skim would save that effort.