A gnome shell extension that transforms the workspaces into an intellihide dock