Es ist wirklich Schade. Doch ist es kein großes Problem – bei der Redaktion werden die Spezialsymbole manuell hinzugefügt. Es kann scheinen etwas unbequem zu sein, doch wenn man daran gewöhnt ist, macht man das sogar mit Spaß. Also, lassen Sie den Kopf nicht hängen!