I hate to ask what I think is probably a stupid question, but: how are they creating that animation? It's not a simple .gif, and it looks like they're using som

I hate to ask what I think is probably a stupid question, but: how are they creating that animation? It's not a simple .gif, and it looks like they're using something akin to a sprite: http://google.github.io/tracing-framework/resources/anim_index.png http://google.github.io/tracing-framework/resources/anim_ind... Edit: Looks like it's a modified version of Sublime's animation (https://news.ycombinator.com/item?id=4532146 https://news.ycombinator.com/item?id=4532146).