Turn off rich editor by default.

Author: jmgasper

config/vanilla/config.php

@@ -24,7 +24,7 @@
 $Configuration['EnabledPlugins']['GettingStarted'] = 'GettingStarted';
 $Configuration['EnabledPlugins']['stubcontent'] = false;
 $Configuration['EnabledPlugins']['Topcoder'] = true;
-$Configuration['EnabledPlugins']['rich-editor'] = true;
+$Configuration['EnabledPlugins']['rich-editor'] = false;
 $Configuration['EnabledPlugins']['editor'] = true;
 $Configuration['EnabledPlugins']['emojiextender'] = true;
 $Configuration['EnabledPlugins']['GooglePrettify'] = true;