You will need to install a user script manager extension to install this script.
Interestingly enough, the making-of videos run in Flash, but use an MP4 for the actual video itself, which means it's possible to replace that Flash object with a <video> tag. A bummer this was never implemented officially, even though the capability was there for about two years.
The original Flash objects had timed displays of the tool used during each steps. However, I do not see that being carried over to this in near future for two reasons: