[Gretl-users] a rather aesthetic question