Awesome work, Chris! Do you think there might be any issues running this latest version of Magma on Pharo? Amir