Just an FYI - a not updated version of chrome reported .txt.gz as “dangerous file” when downloading from the downloads page. (RRBS file to be specific). This the latest update of chrome that I applied today - in other words my browser was not wildly out of date. Updating it fixed the problem.
That sounded surprising so I thought I’d try it to see which behavior I got. However, when I went to download the RRBS data, it appeared to be a “.txt” file not “.txt.gz”
Were these the files you were downloading, or something different?