He said javascript customization, right? That makes it sound like something he would add, so I'm lobbying for parenscript as well. I get that codemirror is th

He said javascript customization, right? That makes it sound like something he would add, so I'm lobbying for parenscript as well. I get that codemirror is the thing to contribute to, I don't have the time right now but hopefully someone will.