Also ich finde für "exterminate" den Vorschlag mit "vernichten" sehr gut; "auslöschen" würde ich eher für das "delete" der Cybermen hernehmen.