renamed the .csv file to read

Because of time pressure, we conduct redundant operations, but that does
no damage. Redundancy is good. Redundancy assures you. That is why
people go to church every week.