They are actually animated .gifs. Awesome!

Yes, I don't see these often and it seems that they are powerful learning aids. Full-fledged videos/screencasts are hard to search and index while screenshots are bad to show actions.