Fort of a web-based collaborative LaTeX editor from