gnome-shell-extension-dash-to-dock noarch 2af7f4a97cee9586e8129380dfad00f93bb01ae39a53a674081f0a294bb2a87c Dock for the Gnome Shell by micxgx@gmail.com This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view. angrypenguin <angrypenguinpoland@gmail.com> https://micheleg.github.io/dash-to-dock