The socket.io layer of Overleaf for real-time editor interactions - View it on GitHub