[Gretl-devel] Re: why "xterm -e R" in preferences?