I have a whole bunch of .avif images that i can't open with any program. I want to convert these files to something more conventional like .jpg but online converters won't let me convert 200 files. So is there any library that converts images? Or at least is possible to load these images into python so i can make some sort of image viewer?