So what is the current status of Elephant? Is there still a distribution point?

The Elephant.html link now appears to give a 404 error.