0000-remove_src-editor-libs
0001-remove_extension_tools
0002-rebuild_codemirror
