Re: Today's GNOME pathologies