An extra .gz extension is added to gzip files when a filename is specified

[rforsyth]

When you download a file with an explicit file name that has a .gz extension, another .gz is added to the end of the name of the downloaded file. For example:

manager.download_read_set_file(
    SEQUENCE_STORE_ID,
    READ_SET_ID,
    ReadSetFileName.SOURCE1,
    "my-sequence-data.fastq.gz"
)

Results in a downloaded file with the name: my-sequence-data.fastq.gz.gz.