[webui] revert to codemirror 3 (for now)