A small, simple, collaborative, concurrent, distributed text editor