one could of course argue that this isn't a _theme_ per se, but for all practical purposes, it is. anyhow, moving it would be a good idea, no?
yes, are there others that haven't been moved?
none that I'm aware of.
Moved into x11-themes. thanks for spotting that.