Re: [Pharo-users] Questions about Magma