A gnome shell extension for minimize all windows in current workspace