.webp can be lossless, and is often still smaller than .png, but I’m guessing ani.social uses lossy compressed .webp then?

That’s good to know, will check what my instance does, just in case! Thanks for the explanation!