The home page for prelude/ has been moved to:

http://home.pcisys.net/~prelude/.