Title: A marking-based text editing system for collaborative writing