Sollte auch keine Kritik sein, ich meinte nur, da dein Highlighter eh nicht wirklich flexibel ist, kannst du auch eine unflexible Escaping-Routine einbauen
Schon verstanden
Ich bessere das wie gesagt noch aus, nur die nächsten eineinhalb Wochen fehlt mir für so etwas vermutlich die Zeit (auch wenn das wahrscheinlich in ein paar Minuten erledigt wäre...).