Failure of the week: encoding images to AVIF without keeping the originals

I was reading about the AV1 video codec and the derived AVIF image format and decided to experiment with it. The results are impressive: PNG file size can be divided