GitHub repository: mazzarito/workspaces-to-dock
Description: A gnome shell extension that transforms the workspaces into an intellihide dock