"rettingsverktøy for tekster" er et 27-bokstavers substantiv som brukes som synonym for "korrekturdiskett". korrekturdiskett betyr: Verktøy for retting av tekster