[Gretl-users] Citation: Credit where credit is due.