Additional info: it's not currently on the install DVDs, but after a default install, installing it only drags in gnome-shell-extensions-common. Both packages are of negligible size (6.5K and 19K).