A gnome shell extension that trasforms the dash into an intellihide dock.