A real-time editor in your browser and how to build it.