Moving the blog and other stuff to a new host and getting to know WordPress just a bit has — what a surprise! — taken up too much time. I’ll try to concentrate now on moving more content (leaving theme-fiddling for later). At the moment, if you are looking for logic book stuff etc. it is still online here.
Next up, I hope, something more about Curtis Franks’s book: watch this space …