[Gretl-users] Bug-hunting: GUI close button (Windows)