Very basic realtime document collaboration tool using socket.io. The server is a basic Python WSGI server using gevent-socketio and the client is js.