A plugin to modify the TinyMCE editor in WordPress 3.9+