[Box-Admins] Re: [squeak-dev] auto-download 4.1 sources file