(Overleaf co-founder here.) We're back up, so get writing :)