F20-rc3, gnome-shell logoff?