I wasn't even watching the TV, my wife was, they were doing a making-of one of the shows. Couldn't even tell you who it was, but the guy said he was on a set, and they were shooting something about football food. I just happened to look, and they were mixing the audio with Audacity.
I was really hoping to come in here and say it was one of the 1.3.x betas, but I took the DVR remote and went back, frame by frame. It's probably 1.2.6.
But it's nice to know that they're using a free, open source program that many of us use, and not some commercial program.