Vous aviez peut-être vu passer mon extension Gnome Shell pour faire disparaitre votre nom du panel GNOME. Je viens de la mettre à jour pour GNOME 3.2.

Vous pouvez la télécharger sur le site du projet associé.