I've rebooted the server and am currently in the process of checking things and trying to make some judgment about what happened. One thing I can say is that it is likely that if anyone updated any projects at source.squeak.org today (Nov 24th) that you should check your work. Ken