A cooperative online code editor.