Re: [ANN] New installation procedures for Magma