[Gretl-devel] Missing documentation of gretl command