[userbinator]

Good. These files in a format that I can't easily manipulate with existing tools are a major hassle. Stay with GIF, JPEG, and PNG.

[shmerl]

What tools? Imagemagick handles avif fine converting to and from it. Gimp as well. There is also basic avifenc.

[userbinator]

Tools I wrote long ago.

[shmerl]

You can add AVIF support then.

[computerbuster]

Existing tools really just need to do a better job keeping up.

[shmerl]

They do. It must be some kind of bad tools that don't support AVIF still.