Commerceguy logo is GPL?

Just noting that the Commerce Guy logo is in this theme, therefor it is now officially licensed as GPL2. I imagine legal department at CG doesn't want that :)

To quote the Licensing FAQ:

"We require that all files (PHP, JavaScript, images, Flash, etc.) hosted on Drupal.org be under the GPL. If it's in Git, then it is under the same license (GPL version 2 or later). That way there is no confusion about what license a given file is under."