[Gretl-devel] a translatable string