[Gretl-devel] Good news