Hi. I created a patch to make the user menu title configurable (I didn't create a preference dialog, but at least it can be set manually with gsettings).
https://github.com/zeldin/gnome-panel/blob/f5ae6375d077cf13e03f0af2888edbbeba6e9357/debian/patches/13_configurable_user_menu_title.patch // Marcus -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
