pull down to refresh

Yes, Overleaf is the Jupyter Of LaTeX. Great for collaboration where git would be overkill (for the people involved).