did you know file explorer can extract 7zip and zip files!?
If you're on latest Windows 11, which most still doesn't.
