Overleaf купил sharelatex, будут делать новый редактор на его основе. Opensource sharelatex пока остаётся.