With the new version of Gnome comes a need for a new way to display the User@Host names in the panel. Gnome 3.10 has changed their drop-down user menu, so the old extension no longer works. Right now, this just adds the User@Host names to top panel. In the future, I’ll look into getting this closer to the original implementation. For now, it serves the purpose.