Release candidate for 0.1 after the director's review: sources on slides, versions, the overview and the Short, the course in brief, twelve new animations, the verification skill and llms.txt, and what a proof checker certifies; 0.1 adds the YouTube links