[Gretl-announce] gretl 2020d released