Re: [Box-Admins] Re: squeaksource.com image update (was: Does source.squeak.org have the socket leak problem?)