Real-time collaborative editing for graphs.