Right. In terms of pure bit rate, jpeg is awful, webp is better, and avif and jpeg-xl are better still. The thing is that avif has a lot of weird quirks due to it being a hack of a video codec: AV1. JPEG-XL is a much better image format just in terms of feature set, definitely better for high quality images. I use avif because it was out first, but I planned to switch to jpeg-xl once browser support was better.