An online collaborative text editor for academics