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.
Cheers,
Dave