F20-rc3, gnome-shell logoff?

[drago01]

On Wed, Sep 18, 2013 at 3:49 PM, Gene Czarcinski <gene at czarc.net> wrote:
> OK, so we changed the interface yet again for the user in Gnome
> 3/gnome-shell.  Just how does one logoff or do a switch user??  I can do a
> shutdown/restart.  I can suspend.  I can bring up the setting application.
> But logout and switch user seems to have gotten lost ... or if it is there
> it sure is not obvious!

Click on your name inside the top right menu. It should open a submenu
with the options in it.