Sharelatex merged with (was bought by?) Overleaf a while ago. Now we're just down to using Overleaf v2.