[Box-Admins] Re: source.squeak.org upgrade