[Gretl-devel] regarding the new modprint command...