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