Cómo cambiar el icono del menú principal de Gnome

Bueno, tengo Fedora Core 2, y no había hallado cómo cambiar el icono del menú principal del Gnome, el sombrero rojo ese que viene por default en el tema por default (Bluecurve). Busqué en preferencias, en el config editor, pero no le hallaba. Googleando dí con esto en las listas de fedora pero me hice bolas, la cosa es más sencilla:

# cd /usr/share/icons/Bluecurve/48x48/apps
# cp /usr/share/pixmaps/gnome-main-menu.png icon-panel-menu.png

O la imagen que quieran en lugar del gnome-main-menu, que es el piecito. Me dí cuenta que faltaba el archivo redhat-main-menu.png por que se referencia desde /usr/share/pixmaps, así que dí

# ln -s icon-panel-menu.png redhat-main-menu.png

Y ya, luego no más reiniciamos el panel

# killall -HUP gnome-panel