oh, it's a 7z file, which is a 7zip folder. I'll upload a normal zip instead. Be up in a few minutes.
