All of the download files are in what is known as
"zipped" format. These zipped files are actually collections of
one or more files/savefiles that have been compressed and put into
a compressed format in order to save disk storage. These files need
to be un-zipped before they can be used. Libraries of zipped files
often have the extension .ZIP; however, the archived files on this website
are encrypted self-extracting and have the extension .EXE.