Just install and within a minute it does the job with immediate gain of speed.
Parametrization permits fine tuning if necessary.
For example, after publishing the plugin, you must add
"plugins/editors/tinymce/jscripts/tiny_mce/tiny_mce.js" in the "Exclude .JS" list to be able to use the editor.