This is interesting. I use OTA antenna tv everyday, almost exclusively. I almost forgot OTA HDTV still uses the mpeg2-ts, similar to the dvd codec. Newer tv hardwares (>2010-ish) all can decode mpeg4, theoretically, since they utilize internet streaming apps and services.
I smell a new format war a comin'.
I say, go right for mpeg4 h.265, or higher. Instead of mixing mpeg2 and mpeg4, like the video demonstrated. Because no way am i going to "buy" a DRM-protected thing for every broadcaster.... I'm currently pulling-in 20+ stations.

And that may be the other format war... to pay or not to pay.