All of these files are now contained in a single zip file.