Package gnome-themes-extras in Fedora 13 is now owned by supercyper To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/gnome-themes-extras