I’ve re-uploaded once more. This time explicitly as a .pdx.zip, and this seems to download the right thing now at least for me.
.pdx.zip
