A tacit assumption in many parts of the emoji code is that valid emoji end with .webp. This has led to some absurdities like GIFs with .webp extensions. However, here we run `gif2webp` over the GIF, which also reduces its size substantially.