Ah, opening the zip file with Windows 11 File Explorer made it appear empty, but opening it with 7zip on my Windows 10 machine works properly. Leaving this comment up for anyone else that runs into this issue.
