Another thing is that the new HIG suggests that we use stock icons - but at least the GTK stock icons are not that nice. Are there other stock icons somewhere?