These are session-style notes and mini “lecture notes” written collaboratively.