The real-time collaborative editing backend for Plunker