Building a collaborative document editing application