A web-based collaborative document editor.