I have to start singing for my supper today, and earning my keep as an Erskine Fellow. This means giving a dozen lectures on Gödel, plus a few talks to various seminars. The Gödel lectures kick off today, and I’ve started updating/extending the notes to accompany the lectures. The notes are now called — perhaps more honestly — Gödel Without (Too Many) Tears. The first instalment of the new version can be found here, where further episodes will be posted at the rate of two a week for the next six weeks.
You have enough material for another book, although a shorter one, it seems to me, or to revise the existing book to provide a tearless path through it.