Awk algorithm to remove dupes from files preserving their order explained | Hacker News Reader