This extension moves the dash into the gnome main panel.

WWW: https://github.com/home-sweet-gnome/dash-to-panel
