You’ve never edited a file and rezipped it? I did that a lot in the nand2tetris course, where you upload zips.

This would be a nasty surprise when the other party carries on as if you send the old while you think you sent the new. Probably would have been testing my hear out on the course.

And I don’t get your attitude. The data is still gone. The fact that it’s unrelated to the original bug isn’t any kind of comfort.