Unrelated but does anyone know if Fedora/Red Hat is or if they will start funding KDE as they do GNOME?