WebUpd8 reader KRK has updated the GNOME Shell Autohide Top Bar extension for GNOME Shell 3.2. The extension, initially created by fpmurphy, lets you hide the GNOME Shell top bar by double clicking it. To disable autohiding, double click the top bar again.

Hamster applet is a tool that helps you keep track on how much time you've spent during various activities. For more information, see the Hamster Project page.