How to determine the proper HTML5 video codec attribute for an AV1 file based on the FFMpeg encoding command or output?

Question

We have some files encoded in AV1, but we recently noticed that Chrome mobile fails to play the files - but it doesn\'t fall back to an encoding it can use - it just puts th