PNG from an AVIF source, lossless from the decoded pixels on, with transparency intact — for editing in tools that cannot open AVIF yet. The file will grow.