Is there any way to show only the PDFs that have highlighted text?
Not that I am aware of. You could create a feature request at GitHub.