[squeak-dev] Raspberry Pi colocation for Seaside?