Hello Sandor,
I am following the subject since a long time.
As Dominique says, the muxer/demuxer "mpeg-ts" we all use for DATV is not ready to carry AV1 streams. I have seen that the specs for it have been finalized, so waiting for the developpers to do the job and have it available (in ffmpeg and in VLC).
I made some tests to evaluate the AV1 codec. For example the well known "Bunny" cartoon under H264 codec, size 270MB is now 76MB under AV1 codec.
Interesting subject to minimize the print of our transmissions on limited bandwith systems...
73 - Christian
F1FAQ