The inability to synchronize highlights, annotations, and bookmarks automatically between devices has been the no. 1 missing feature in Marvin since its inception. I call it "the elephant in the room", in terms of still missing Marvin functionality. We can only hope it will one day be added to Marvin.
