Intro to Gödel's Theorems, Mk 2

I've just heard that CUP will probably look kindly on a proposal for a second edition of my Gödel book, to come out two or three years hence. There have already been a couple of (quite heavily) corrected reprints, but this time I'd do an end-to-end rewrite, and the whole thing could perhaps be up to 10% longer. So if you have bright ideas about how to make the thing better/more useful, or views about stuff I'd left out that ought to be in the book, I'd be delighted to hear them. It will be good to have a limited retirement project to fall back on when other work isn't going so well.