Selective deletion of certain lines in a file with AWK