I'm curious, can you elaborate on why you believe that changing to Gnome meant they were giving up on being the best desktop distro?