Filter highlighted text

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.