Are the notes and highlights stored in the PDF? Asking because I use Zotero in several machines and I need annotations and highlights to be synchronized without much hassle.

Zotero is quite close to provide a PDF reader itself (available in the Beta release, AFAIK), but nice to see alternatives with academic documents in mind.