[Gretl-users] Re: searching for underscores in PDF help documents