These files were re-downloaded from their original sources in order to maintain filenames and directory structures. Some of the ZIP archives have been expanded in-place to make direct access to them easier.
