Some interesting GNOME Shell extensions

Ron Yorston has posted a set of GNOME
Shell extensions
"for grumpy old stick-in-the-muds."
Through some JavaScript magic, these tweaks add application launchers to
the panel, restore static workspaces, and more. People who are unhappy
with the GNOME 3 interface changes might want to give this add-on a