Set of files related to tweaking Gnome 3.4