He AutoStatic,
Bedankt.
Vreemd, want die replace optie had ik uiteraard al geprobeerd, maar gaf me gister een fout melding. Vandaar dat ik er niets van begreep. Echter werkt het nu wel. Ik heb een aantal keer pijltje omhoog geklikt in terminal en zie nu dat ik de spatie vergeten was.