added: dash-to-dock extension.
updated: version bump for gnome-shell-theme-korora