I guess they use some kind of video editor, the GameHut guy does lots of animations too. It may be a good idea to ask them what tools do they use to produce the clips.
I reckon I will next I'm watching...
Well I know what's involved in animating something like that, and I watched one where a graphic accurately tracked the path of a character moving through a map - every single little jitter of movement, over a number of minutes. No way he did that by hand... he must program something and then video it.