[Bug 1397692] Review Request: gnome-shell-extension-activities-configurator - Configure the top bar and Activities button in GNOME Shell