[have_humility]

Fun fact: DirecTV HD DVR's contain GPL code. (Maybe Linux, but I can't remember, really.) It was amusing coming across the phrase "Ty Coon, President of Vice" in my parent's printed owner's manual a couple years ago.

Not so fun fact: When I saw that, I checked online to see what sources DirecTV is offering, and I came across claims that DirecTV is yet another corporation shirking their responsibility wrt their use of GPL code.

[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/