Vielleicht sollten wir abstimmen? Ich würde zu Exterminieren tendieren wenn es etwas mehr im Sprachgebrauch zu finden wäre. Aber an sich wäre Vernichten/Auslöschen natürlich auch passen. Über die Cybermen habe ich mir dabei bis jetzt die wenigsten Gedanken gemacht, da wäre aber sicher der Vorschlag 'Löschen' für 'Delete' von mir gekommen