[s777]

The online editor is extremely useful for quick projects with other people where real-time editing works better than git, and where people don't want to download tools.