Well, the Frippery extensions for Gnome 3.8 are out now: http://intgat.tigress.co.uk/rmy/extensions/index.html
Sure, you can install them the boring way by going to extensions.gnome.org, but it's more fun to do
cd ~ wget http://intgat.tigress.co.uk/rmy/extensions/gnome-shell-frippery-0.6.0.tgz tar xvf gnome-shell-frippery-0.6.0.tgz
The files will be extracted into their proper locations.
At this point I (foolishly) did alt+F2, type r, and hit enter (to reload gnome shell) -- which promptly crashed GNOME 3. At this point I simply rebooted from a tty since restarting gdm didn't help.
Use gnome-tweak-tool/Shell Extensions to enable and disable extensions.
|Using the Frippery extensions (favourites, bottom panel etc.). Note that this desktop also uses conky to display the sysinfo on the right hand of the desktop.|