Larceny's main web site ( http://www.larcenists.org/ ) should be back to normal now. As a precaution, the larcenists.org site continues to be mirrored at http://www.cesura17.net/~larcenists/ Once again, I thank Marijn for reporting this problem. Will