[bkuhn]

Please send a copy of the manual and specific details of what you tried to receive source code from DirecTV to <[e-mail]>.

Note that GPL doesn't require "putting the source online" necessarily, but they are required to make a valid offer for source code to you and fulfill that offer when exercised. We'll need to investigate whether or not they've properly done that before anyone should claim that DirecTV has violated GPL.

(BTW, I'm Bradley M. Kuhn, who, through my role at Conservancy, started the GPL Compliance Project for Linux Developers: https://sfconservancy.org/linux-compliance/