Es betrifft im übrigen nicht den Editor, der Fehler steckte im Server-seitigen Highlighter. Mit dem kommenden Update wird es automatisch korrigiert, da der jeweilige Kommentar im Original noch existiert und lediglich im Highlighter unbeabsichtigt entfernt wurde.