The first two episodes of Gödel Without Tears have been corrected — catching a few typos but mainly to correct the silly thinko that David Makinson caught. And there are new versions of episodes 7 (Arithmetization of Syntax) and 8 (The First Incompleteness Theorem), though these aren’t much changed from last year’s NZ version. Go to the GWT page.
Later: Oops, the corrected version of Episode 2 is now properly linked.