If we keep them around, it would be better to put them in a separate `downloads` directory. Putting them at the root of the project just clutters things up...