The distributed editor

A distributed editor