On: Removing duplicate lines from files keeping the original order with Awk

[JdeBP]

You have conflated the awk tool with an entire operating system. The operating system of course has many tools, and there are many more tools that one can further add to it, dealing with a range of file formats.