That 20% gain is for the lossless re-encoding. It's not possible with .avif AFAIK. If you allow minor loss, jxl can save much more space.