Gnome shell extension to easily switch between AWS profiles - View it on GitHub