I may not gain anything by gzipping the resulting files, but it's easier to just select all the files and select Create archive than to do the commands in the shell. I don't really have much problems using the shell, but my collegues on the opposite crew aren't very Linux-savvy.