Thanks for the links; they're convincing. I'm surprised that Google hasn't made their GPL compliance here more prominent. It's something I've heard criticized, but it sounds like the criticisms are illegitimate.