Let's put the .gif in the repository.

It'll be easier to update and show on pending PRs this way.