added plugin for highlight+tinymce, correct local settings