[Design-team] Gnome-shell extension that adds a Fedora logo

[Bruno Wolff III]

On Fri, Apr 15, 2011 at 12:58:54 +0100,
  Camilo Mesias <camilo at mesias.co.uk> wrote:
> 
> For the record, in Gnome 2 / Fedora 14, wasn't there a Fedora logo on
> the main menu? I say this because I had to add a menu to the panel
> after a fumbling session by an inexperienced user, which removed the
> menu entirely. When I replaced the menu it had a Gnome foot logo on it
> instead of the Fedora logo.

That depends on the icon set used by the theme. Personally I like the
packman like icon from echo.