Which online converter did you use? What I like is that your animated gif ended up being quite small (15 sec => 600KB) enough so as you don't feel bad including it in your repo.