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