Syntax highlighter with Zotonic tinymce plugin enabled