** Not needed in Gnome 3.8 (can be found in settings / privacy). ** Removes the name of the user from the top panel preserving space. This is probably the most simple (stupid) solution one could come up with, but it works for me.
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?