Delete repeated lines, keeping the first occurrence.
Unique lines
—
Remove duplicate lines from a list, optionally ignoring case.