Re: GNOME interface is too bulky