I would like to claim ownership of gnome-themes-extras it has been updated to version 2.20. Does anyone have any objections? Also is the recommendation to break down the packages into smaller packages or would the gnome-themes-extras be able to be included as one big package? Cheers, Marc