[Bug 712560] Review Request: gnome-shell-extensions-theme-selector - extension for review & change gnome-shell themes