Was the menu system in WordPress 3.0 inspired by WooNav? Of course. Everybody knows that.

There's a couple of things here. First is the above quote.
Not "everybody" knew that. I didn't. Who is this "everybody"??

Seriosuly, if you happen to miss a week or two in WordPress land you can miss things like this.

Second of all, I think some continued credit should go to WooThemes because in the past 18 months, theme developers and re-sellers have had quite a bit of stick from the "high and mighty" people that contribute to WordPress. WooThemes, Thesis et all have been villified by a great number of people who made a choicce to give up their work for free. Here they are giving back and when they do and talk about it, they're smacked down as they've "already had their credit".

But Thirdly, Whats wrong with someone making a bit of noise to make sure they're getting some credit as WP3 goes to RC. If you don't want to mention it, then don't mention it - simple :)

Lastly, I think they should get a bit more credit for the IDEA. We're quick to praise Jane and Matt when someone else does the code - why not WooThemes too? Code is a large part of any project, so is the IA and UX and testing and.... etc.

@Dan

The link you point to has two real issues:
1) It contains an answer to a question we never get to see. Lawyers answer specific questions, and while the answers seem quite complete and well rounded, without knowing both sides of the conversation, it's very easy for someone/anyone to make assumptions about the specifics entailed.

2) Matt summarises by saying

Even though graphics and CSS aren’t required to be GPL legally, the lack thereof is pretty limiting

Except the letter from the lawyer states that all graphics, javascript, stylesheets, HTML, static content, comments etc. that isn't "processed" (i.e. can be called and loaded and included etc - but not actually processed) by WordPress's PHP code isn't hit by the GPL.

it might be possible to design a valid WordPress theme that avoids the factors that subject it to WordPress’s copyright

Something Matt didn't touch upon, but that just because it's a WordPress theme doesn't mean it automatically being hit upon by the GPL. Far too many people read the letter withotu asking what the initial question was, and then absolutely accepted Matt's summary as fact. Really only code that instrinsically interacts with WordPress functions to produce data would do so. Something like WooTheme's menu didn't neccessarily need to - though it probably did in practice.