Hab versucht dein Problem bei mir zu rekonstruieren, habs aber leider nicht geschaft.
Kann dir echt nicht sagen woran es lag.
Aber dafür hab ich einen kleinen Fehler entdeckt:
Eigentlich sollten die "Ersetzungsoptionen" ja für alle Benutzer gleich sein.
Das war aber in der bisherigen Version (leider) nicht der Fall.
Deswegen hab ich den Fehler behoben und die neue Version (immer noch 0.8) hochgeladen.
Die alten Settings sollten immer noch funktionieren.
Ich rate aber euch zur Sicherheit noch die alte Settings.txt als Kopie noch zu speichern, falls der Fall, den FF Pulsnitz beschrieben hat nochmal auftritt.
