most recent changes, diff for gnome-themes