Should we rename old files?

So quick and dirty poll time

So advantages of renaming them: Consistency, easier for organization, checking, and CRC checks

Disadvantages: Files burned to DVD can't be used for seeding, if people want to help upload a file for direct download, they'd need to know the new file name, and we'd have to go and change all the names in our spreadsheet. As it is now, everything is relatively fine if we don't change anything