I would like to convert an animated WebP to other formats, such as WebM, APNG, or GIF.
However, every tool I've seen so far (`convert`, `ffmpeg`, `webpmux`) either only supports unanimated WebPs or converting *to* WebP.
`webpmux` in particular allows exporting frame by frame (but NOT all frames at once as far as I can tell), so it's probably possible to figure out how to extract all frames and metadata and use that to build a WebM, but that really sounds excessively difficult.
My best guess so far would be that I'd have to manually write a script parsing the webpmux output's frames and durations, export each WebP frame into WebM frames, each frame shown as many times as the duration, then use `ffmpeg` to build a video out of them.
Or alternatively, I'd have to manually write a program using libwebp to decode and re-encode to PNG.
Neither of those options sounds appealing. Is there a better way?