save to web doesn't produce a default name for the zip file + .zip.zip problem

If the document is blah.sci then can the web export zip file default to blah.zip?

Also, if you type blah.zip it saves as blah.zip.zip --- please detect and avoid.

I've added this request to

I've added this request to our database.  Thanks.