Hi. On Fri, 03 Jun 2011 22:19:12 +0200, Louis Lagendijk wrote > one of the extensions to add the shutdown option, but believe Gnome3 > needs more configurability so we can avoid all these "corrections" as > extensions. I think you missed what Gnome is all about.