We need to figure out the right licensing for something that is effectively a logo. I will bring it up with lawyers; meanwhile, what do you think? One possibility that occurs to me is to license the copyright in a very loose way, maybe even put it in the public domain, but use trademark law to prevent abuses which involve the unmodified or little-modified image.