[Gretl-devel] Web page (small) updates