This is in the log on the website, but I thought I'd alert people here too. For gretl 1.8.5, I'm removing the --long option to gretl's "print" command along with the associated longdigits parameter for the "set" command. These things date back to a time before gretl has a "printf" command. Reviewers remarked that one couldn't readily print out a gretl variable to more significant digits that were offered by "print". That was true at the time, but you can now use printf to examine a variable to as many digits as you want (and we also have GUI means of showing more digits). So I think we can retire "--long" and "longdigits", in the interest of removing redundant baggage from the gretl codebase. Allin Cottrell