We will most likely change the file names back to their original names in a month or so

Please don't. It'll serve as a visible marker for the future for when we go back and look at the files and do a WTF.

~Matt Walker