I'm just leaving this issue here as information, since I remember zip was chosen since it was native and 7-zip was not (despite how popular 7z and WinRAR installs are).
Thanks for the heads up! Though I plan to stick with .zip for maximum
compatibility with older Windows (esp. XP, 7). Windows' .zip support is
slow and lackluster, even still in 11, but it's Good Enough.
Apparently Windows 11 will soon have native support for 7-zip: https://blogs.windows.com/windowsdeveloper/2023/05/23/bringing-the-power-of-ai-to-windows-11-unlocking-a-new-era-of-productivity-for-customers-and-developers-with-windows-copilot-and-dev-home/
I'm just leaving this issue here as information, since I remember zip was chosen since it was native and 7-zip was not (despite how popular 7z and WinRAR installs are).