So the choice that says ".7z" is the actual 7zip I assume?
Yeah, 7z is a file format developed by creator(s) of 7zip but it is also isn't so portable so I recommend zip
