[Gretl-users] Re: I would rather keep the 31 character name limit than shorten it.