OK, I gave this another thought. gnome-themes-extras also exists in Debian, so we'd divert even further. Plus, to make this sane in any kind, I'd need to completely restructure the packaging and orig.tar.gz order.
However, it seems that the new themes that Ken added are precisely the ones that we want to install by default. Thus I'll do a completely new source package gnome-themes-ubuntu instead of mess up gnome-themes-extras even further.
OK, I gave this another thought. gnome-themes-extras also exists in Debian, so we'd divert even further. Plus, to make this sane in any kind, I'd need to completely restructure the packaging and orig.tar.gz order.
However, it seems that the new themes that Ken added are precisely the ones that we want to install by default. Thus I'll do a completely new source package gnome-themes-ubuntu instead of mess up gnome-themes-extras even further.