Feel free to download these files for your own use. For most browsers, you can download a file by right clicking on the file name, then choosing "Save Link As..." or "Save Target As...". For files ending in ".zip," you'll need a ZIP utility such as WinZip.

Warning: some of these files are BIG. If you're using a dial-up connection, be prepared for a long wait!