Downloading and unzipping .zip files in Windows.

1.  Click on the name of the zip file to download it.

2.  When the "File Download" dialogue-box comes up, you may
    navigate to a suitable location on your hard disk where you
    want the zip file to be stored.  Choose an appropriate folder,
    preferrably an empty one.  Remember where the folder is.

3.  After the download is complete, use Windows explorer to
    navigate to the folder in which the zip file is stored.

    At this point, if the zip file is in a folder containing other
    files, or if it is not in a suitable location on your disk, you
    should create a new, empty folder for it in a suitable location
    and move the zip file to the new folder.

4.  Extract the contents of the zip file using either method
    a (preferred) or method b.

    a.  Preferred method:
    If you have an unzipping program such as Winzip or PKZip,
    you can double-click the zip file.  This will open the
    zip file in the unzipping program and you can use that
    program to extract the contents of the zip file.

    b. Alternative method:
    (This method only applies to .zip files from this website.)
    If you don't have an unzipping tool or don't know how to
    use one, right-click on the zip file, and rename it to
    xxxx.EXE (where xxxx is the first name of the zip file),
    then double-click the .exe file to run it.

    The contents of the zip file will automatically be
    extracted from the zip file and stored in the folder
    containing the zip file.  (This method may cause the
    extracted filenames to be truncated.)

5.  After the contents of the zip file have been extracted,
    you can delete the original zip file.

To return to the previous browser-window, close down this window or
click the icon for the previous browser-window on the task-bar.