[Gretl-devel] decision on an old feature request