Does anyone know of an HTML-friendly equivalent of this? I.e., something similar that allows pasting/editing HTML?
As for similar projects that are already more HTML-friendly, maybe check out Etherpad[1]? It has HTML import / export, though I haven't tested it out.