I did finally track down that alternative download location using good old
Google cached pages. Thanks. I hope nothing too major happened to the server.

Reply via email to