Cross-platform PDF reader/annotator with cloud support