Re: Nit-picking - GNOME "Desktop" menu?