Jane Dogalt (jdogalt(a)yahoo.com) said:
4) /usr/share/backgrounds/images/default.png is the 1600x1200 default
gnome
fedora logo background, which is not owned by fedora-logos*.rpm
5) fedora main menu button is also not apparently owned by fedora-logos*.rpm
I'm guessing 4&5 are 'bugs'.
Yes, please file these, if you could.
Bill