user-id-in-top-panel-pinnakkkk Gnome Extension that adds user & hostmachine name at the top bar. Tested for Gnome SHELL 42.