[Gretl-devel] ** documentation glitch