Danke für den Hinweis, das sehen wir uns zeitnah an.
Update: Ursache war ein Bug in dem PlugIn welches für die Verwendung von formatiertem Text zuständig ist. Der Bug konnte behoben werden, das Problem nach dem Umschalten von "Formatierter Text" auf "HTML-Code" tritt nun nicht mehr auf.
Eventuell ist es erforderlich, die neue JavaScript-Datei durch einen beherzten Druck auf die Taste F5 (Neu Laden) vom Server zu holen, damit der Browser sie nicht aus dem Cache verwendet.