tried from various machines at various remote IPs.  Occasionally I can get the file requested after many many attempts.
for example can't get:
Searching for the file on Internet showed no duplicates anywhere, at least at first glance.  Is there no mirror?
John Refling