Here I will make a summary of how it went in (semi)real-time. Wish me luck 😰
What was supposed to be a 10min video was over 20min long, with me mumbling, mispronouncing half of the words, and in general being too worried about recording to remember to explain anything. 😭
On the plus side breaking the video in small chunks and recording them one by one (i.e. rerecording each of them a million times before they are vaguely decent) definitively improved it.
Recording my screen (and external mic) with OBS studio, while showing my slides in presentation mode (so the slides are full-screen) and writing on them using an entry-level Wacom tablet. Then editing bloopers out with Shotcut.
For the rest it is working fine. All animations work (although I can't annotate on top of them) and the file size is not too big.