For the record, the conversion script was treating all of the avatars as if they were PNG files, even though they were clearly GIFs. I don't know what its logic was, but it's clearly wrong.
Rather than try and figure out why it was wrong, I told it to import them as GIFs by hand:
This was...