The new Fedora 18 Linux distribution has the Power Off option available in the user menu by default; negating the need to install an add-on from extensions.gnome.org to add this functionality. This is a very good addition to the new Fedora distribution. According to this blog linked here: http://www.dedoimedo.com/computers/gnome-3-6.html. There are other problems with the …