I've been getting some notices about that, yeah. Apparently unzipping it with 7zip works? I haven't used Windows in forever, my apologies
I intend to update the install instructions with that
Good to know. I will try 7zip