Will RedHat deprecate KDE on Fedora?