[Gretl-devel] Re: Icons on Ubuntu 19.10 (Gtk / Yaru)