Re: [squeak-dev] Raspberry Pi colocation for Seaside?