Well of course ATSC 3 includes a new proprietary Dolby format, ATSC 1 got AC-3 as a mandatory audio format, too.

I'm not sure if ac-4 is mandatory, but it seems like it is? Kind of a big pain indeed.