There are slightly revised versions of the episodes on the First Incompleteness Theorem and the Diagonalization Lemma now online.
And there is a cheeringly short episode on The Second Theorem, newly added.
(As before, you can download the latest versions of earlier episodes here, as well as a composite PDF of all the episodes to date.)