A collaborative texteditor for ROLE-SDK. Collaborative features provided by Yatta.