The .avif file in the example was accidentally saved as larger than the JPEG file which makes it a poor use case. We compressed the .avif file with the correct compression quantizer with avifenc to higlight the difference.
The JPEG file is 112kb and the .avif file is now 55kb.
The JPEG file is 112kb and the .avif file is now 55kb.