[ESS] ess-17.11-tgz is not compressed

[Ulrich Mueller]

>>>>> On Fri, 8 Dec 2017, Martin Maechler wrote:

>> Your reasoning seems quite convincing, and I am enquiring
>> why our server does what you show above it does, and how
>> we can change that.

> and it has been changed now .. with thanks to Ulrich (and our
> D-MATH ETHZ Webmaster who reacted so quickly) :

I can confirm that downloading now works as expected. Thank you
very much for the quick response.