The whole download thing is named as (somename) ".zip". it ends with .zip. That's what you right click on and click on "extract as ...."
