[Pharo-dev] Re: [Pharo-users] This week (13/2023) on the Pharo Issue Tracker