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