https://lowcostwallchargeripod.blogspot.com/2023/12/how-to-delete-duplicate-lines-in-file.html