A plain-text editor implemented in JavaScript