real-edit 实现了真正多用户的实时编辑器，基于 WebSockets 技术实现，实现轻量级的操作转换算法，支持在线聊天和协作编辑。