I recently posted a poll about GTK+ theme engines on gnomedesktop.org, judgeing by the replies a lot/most people thought the poll was about themes, guess our userbase is so wide/big now that we can’t expect the average gnome user to know or care about the distinction between a theme engine and a them. A good thing basically, although it do make me a bit nostalgic for the old days :)