Animated GIF are very easily created with Byzanz and very easily edited with The Gimp. They are supported and rendered everywhere, like in pull request descriptions at Github, in this wordpress, in Trello and so on.
You are surely right about the size, but for us animated GIF are simply more practical to produce and work with.
Thanks for the suggestion anyways.
]]>