[Gretl-users] Scripthighlighting How to print?