On the other hand, the lack of synchronization might be a selling point for others, who militantly support "local only".

Solid highlighting is important to me. Zotero does it fairly well, but doesn't support freehand highlighting on files that lack OCR.

I've recently gone back to school after a decade in tech.