Fedora Icons/Themes vs RedHat's