The download is a ".tar.gz" file. The way to extract the files from the command line is to create a Hullform directory, copy the download to it, and use commands:
gunzip hf9sw.tar.gz tar -xvf hf9sw.tar