Compressed zip file has redundant file type name when exported.

[mtaghiza]

Error happens when when choosing the zip compression when exporting a table as a file into my computer.

The file name can be for example "MyNewTable_1.txt.zip". When I open this file inside winrar, the uncompressed file has also the name "MyNewTable_1.txt.zip" (there is a redundant or extra ".zip" at the end of it).

This happens regardless of the file format that we choose (txt, csv, votable,etc)