I skimmed through some of the longer passages so maybe I missed it...but whatever video tool she's using is slick...The video crispness of the text looks nice enough it's as if she's using animated vector graphics, and the play-on-hover is an elegant touch.

I'm not a huge fan of learning via video...however, I've found that a long list of instructions with text and screenshots can be hard to follow...for a student to see the mouse moving and text being typed in makes for a smoother illustration of the steps, especially if the steps involve actually clicking on buttons and menu items, which can be difficult to explain via text and screenshots.

I've been working on a quick screencast-to-gif tool for myself, so that I can record myself doing some actions and then render it as a GIF (since sound isn't needed)...but whatever tool the OP is using to make the videos play upon hover, I'd love to use for animated GIFs.