GNOME Shell Extension. Hides top panel, except in overview.