doclet

A lightweight platform for real-time collaborative editing of rich-text documents