[Gretl-users] Re: Package updates (July 2025)