Package: gnome-shell Version: 3.4.2-1 Severity: important The gnome-shell UI requires the user to hold down the ALT key while selecting the power down option from the menu This is actually quite an unpleasant maneuver on a laptop with a touchpad instead of a mouse