Er, the theme looks nice, but why the hell are you advertising a PPA for installing an extension? You go to extensions.gnome.org and click on a nice button on the web page. Then you have an official, sanctioned-by-gnome-gods version of the extension instead of some random package from a PPA.

If you want to write about GNOME, please learn how it works first. Thank you.