Thanks for that Facebook link, Heitor. Here's how I reacted:
Syncing highlights and annotations is the no. 1 feature missing in Marvin, as I see it, and it doesn't look like it will make it into Marvin 3.
That's too bad, and one can only hope for future, but at any rate, it's great news that Marvin isn't a dead app, and
Marvin SxS will be fantastic.