The web front end for Overleaf, a web-based collaborative LaTeX editor - View it on GitHub