Sure, I'll ask them for the source, too. My request won't be any more official than yours, but maybe they need a reminder to uphold their responsibilities under the GPL.

Here's a theoretical question for a lawyer: can DMCA takedown notices be used for GPL non-compliance?