Re: is KDE dead - did Gnome win?