Re: [Gretl-devel] menu separators (too many)