I am using gnome-shell on Ubuntu 12.04. On the guest account, I have this handy option switch user, but when I am logged into my own account it is not there for some reason.
Why isn't it there anymore, and how can I get it back? At the moment I can use the workaround to lock screen and I get a switch user button from there, but it would be nicer to have the menu option as I was used to.