I don't know if HTML+JS is the best way to design an editor, but I love that GitHub is exploring the boundaries of what is possible.