FYI, you can simply clone an overleaf document using git, and work offline, pushing changes after: https://www.overleaf.com/blog/195-new-collaborate-online-and

FYI, you can simply clone an overleaf document using git, and work offline, pushing changes after: https://www.overleaf.com/blog/195-new-collaborate-online-and-offline-with-overleaf-and-git-beta https://www.overleaf.com/blog/195-new-collaborate-online-and...