[Bug 696357] New: Review Request: fedora-logo-gnome-shell-extension - adds a Fedora logo to Gnome shell's Activities button