An open-source code editor for the web.