[Gretl-devel] Greek-letter names