update tinymce
Fix "attr" text editing (form prefix confusion)
Highlight color setting replaced by css
tinymce customisation now just one setting