I used to use and recommend qiqqa for full text search, highlighting, and annotating pdfs and managing bibliographies but it seems like zotero has stayed the course and qiqqa wound down. Glad to see a solution still available!