As usual, the stupid embed tool from YouTube doesn't work (only copies less than a third of the code here) so here it is: I made a video of my writing of the last post, and it is on YouTube. I would have of course put it here as well - but the embedding doesn't work! It drives me crazy.
Here it is.
Update: I put it on Vimeo, where it actually properly embeds, so here it is here: