I am against the proposition: "Remove the plugin/theme editor and make it into a plugin" They can already de-activate it from wp-config.