Yes, that would help a lot. That way you'd find it if you search for
animated webp (etc) and Ctrl+F would lead you to the right spot.
I'd also change the one-line description of the tool. The descriptions of cwebp, dwebp, and gif2webp are very nice and precise, for example.
"Create animations by joining WebP images, extract frames from WebP animations, get/set metadata, and get/set ICC profiles"
That would work, I think. It's a bit long, but the tool just does a lot of different things.
By the way, that "This manual page documents the webpmux command."-line looks like leftover boilerplate documentation. It should be removed.