In the event I should either get a new computer or reset this one, do I need to manually back up my highlighting, or is all that synchronised on the server so that on my other computer all of it would be intact?
I need to know this before I do any serious highlighting and note-taking. If I have to back it up manually, how do I do that?.