Extension for Gnome 3 Shell that split dash to a few profiles