These are kind of two different things though. The challenges of encapsulating a wire protocol to display video like HDMI and using a protocol like ATSC 1.0, which has support for subchannels that send effectively arbitrary bitstreams that in the case you linked, happens to be fragmented h.264/h.265 that the TV already has codec support for. 80 mbit for sub-ms latency, lossless encoded HDMI is a non-starter. 80 mbit for sub-200ms lossy encoded video streams? Yeah, let do 100.