holy hell that interactive video/code editor is pure fucking genius!!!!! Is the mouse cursor an actual HTML element moving according to pre-recorded session?

holy hell that interactive video/code editor is pure fucking genius!!!!! Is the mouse cursor an actual HTML element moving according to pre-recorded session? Really would like some more details on this. I've never seen anything like it.