freeyourdesktop.com
8 Extensions for the Gnome Shell Top Panel - FreeYourDesktop
The default panel in gnome-shell isn't very configurable in its natural state. With extensions, it's possible to have some of the functionality.