Warning for those with limited data allowances: the page has almost 15MB of animated GIFs. Far from the largest I’ve seen (we’ve had submissions with over 200MB of GIFs, which is beyond the pale), but decidedly bigger than I consider acceptable.

Could people please just stop using GIFs for this. It’s a bad format that has no place here. Or anywhere, frankly. Use a real video format, because they produce higher quality results in less space with less client-side resource usage, and handle loading better (generally granting users more control, like blocking autoload/autoplay). And yes, GitHub supports videos, so you can’t even claim GIF as a pragmatic option any more. (I maintain that such animated GIFs were inappropriate even before that was the case, but now we don’t even have to quibble over that point.)

But although I am complaining about GIFs, I do want to praise Aria for putting those things in a separate repository so that they’re not bloating the main code repository with big stuff that needs updating every so often anyway.