[Gretl-devel] Re: "%x" formatter in docs