Last modified: 2013-10-12 21:16:12 UTC
The logo on http://tools.wmflabs.org/ is a logo for Wikimedia Labs in general, instead of the Tools project within Wikimedia Labs. I'm not sure whether there is a logo yet (there are some on Commons[1]), but once there is, it should be used. [1] https://commons.wikimedia.org/wiki/File:Tool_labs_logo_with_text.svg https://commons.wikimedia.org/wiki/File:Tool_labs_logo.svg
I'm not sure it's necessary to use a different logo. The Labs logo isn't exactly wrong.
The mentioned Tool Labs logo is, however, being used on http://tools.wmflabs.org/ as the favicon (notice the inner green is a gear instead of a circle). So either we should not use a Tool Labs logo at all or use it as both favicon and logo.
I tried to render the commons Tool labs logo, and the proportions do not seem "quite right", nor the font quite correct. At any rate, the Labs logo has been specifically authorized for use with tools, so there is no pressing issue at the moment, and I don't mind the favicon being visually distinct from that which appears on the page.
See https://wikitech.wikimedia.org/wiki/File:Tool_Labs_logo_thumb.png (feel free to delete the previous version, I mis-clicked the file.)
Seems to have been resolved by Coren, so closing this bug, at last.