Gnome-shell extension to easily switch between connected users