Use 7zip as default zip file manager; Set 7zip as default; Open With 7zip

No it did not. I have downloaded 7-Zip, but it is not showing as a default option, or as an option to even use.