A web-based collaborative LaTeX editor