replhtml codemirror integration