quackdoc
it's not ideal, but I would rather be given libjxl's codebase over the av1 spec page. (not to mention that heif is paywalled anyways which means that avif, which is heif + av1 is paywalled too... https://www.iso.org/standard/83650.html)
Completely ignoring the potential of replacing PNG or WEBP, Completely ignoring actually competing against AVIF. The benefits of JXL when it comes to losslessly saving space for pre-existing images is so massively significant, it's hard to believe that this single feature alone doesn't meet the bar of worth.
you can also with a simple mod on a older commit of ffmpeg (the commit that added animated jxl broke this method and I haven't gotten around to fixing it) by simply adding jxl 4cc to mux JXL sequences into MKV.