Didn't get any work done on the Pinnacle 80e last night because I had my CoOp's board meeting, and I had to debug why the dib0700 IR support stopped working with firmware 1.20.
Submitted a proposed patch last night, although I'm not sure it's completely correct. On the plus side, I had never gotten around to testing the remote control for the Pinnacle 801e, so at least with the fix I now know that it works.
Also, it looks like my s5h1411 fixes got merged into the mainline:
Yay for faster tuning!