Some doc update to tinymce4 plugin and removal of obsolete options