idris.com?

I went to look at all the lovely scripts at the idris.com site, and i find
the URL is gone now. Anyone have any info onto what happened? (It was one
of my favorite sites with all of the scripts they had on it too!)


_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-

'The beginning calls for courage; the end demands care'