GitHub repository: Batwam/easy-user-switch
Primary language: JavaScript
Description: Gnome-shell extension to easily switch between connected users