I personally think AntennaManPA did a much better job. Lon might have given the impression that any old TV would easily work with an ATSC 3.0 signal.
But I personally thank both of them for their tireless efforts. I hope the FCC folks actually paid some attention. Will be interesting to see how ...

Before everyone gets too excited, be sure to read the fine print that was buried at the end - bold emphasis mine:

The DVR specification is designed to work in concert with A3SA’s earlier established Broadcaster Encoding Rules, which govern how broadcasters can use the A3SA security technology with ...