This extension moves the dash into the gnome main panel.