I really want to keep gnome as default as possible, is one of the things people say, Antergos as a real gnome distro. Do you mind provide this extension of dash-to-dock but deactivated?

With a welcome screen on first boot we could inform the user about these extra extensions and buttons to activate them. Thoughts?