Jugando con los temas de Gnome Shell

Interesante la entrada que me encontré en la cual nos proponen un paquete (*.rpm, por supuesto), para no tener que entrar a cambiar los temas desde gnome-tweak-tool, diciendo que instalando este paquete podremos seleccionar los temas, haciendo click en una pestaña nueva que aparece al hacer click en el menú de actividades.

Instalando Temas para Gnome 3

Pues, hoy me dio por querer tener más de un tema para mi gnome 3, ya saben, por eso de tener el escritorio personalizado y eso.

Primero, nos hacemos de la extensión de gnome shell para poder soportar los temas: