Add a note regarding how to unzip the files

[brucecrevensten]

Some are 7z self-extracting, others aren't. The file extension doesn't make that clear.

[takurkowski]

ignore this issue for now, but leave open for future clarification