I would like to convert an animated WebP file to a WebM. However, most tools only support converting to an animated WebP but not back, when they support animated WebPs at all: ImageMagick's
convert does not support animated WebP,
ffmpeg does not support animated WebP, and
webpmux only supports extracting a single frame at a time (as far as I can tell).
How can I go about making that conversion?