MUSE: A Collaborative Editor