Please avoid a manual install and use the GNOME Tweak Tool, it's much easier.
You can use the gnome-shell theme extension for easier switching of themes. Load the zip file with the GNOME Tweak Tool
GNOME Tweak Tool
Make sure you have user-theme-extension installed. Load the GNOME Tweak Tool and go to Shell Extensions and click the "Use Theme Extension" switch. Now go to Theme>Shell Theme and click the box and locate your theme zip. Now you can select the theme in the dropdown box.
--
Nothing in life is to be feared, it is only to be understood. Now is the time to understand more, so that we may fear less. -- Marie Curie
--
I've just picked up a fault in the AE35 unit.