There’s a slightly extended version of the treatment of the First Incompleteness Theorem now online, with a short section added about the historically first First Theorem.
And newly added is an episode on The Diagonalization Lemma, also covering Rosser’s and Tarski’s Theorems.
(You can download the latest versions of earlier episodes here, as well as a composite PDF of all the episodes to date.)
GWT 8, noticed a small typo at line 2 (i*n*complete). Thanks for posting this btw, that’s excellent and helpful stuff.