Sort smiley themes case-insensitively because I think that's what normal humans expect. I don't know, what do you guys think? Polling developers about this is not a good sample set.