Just a dull administrative note: I’m migrating the blog’s RSS feeds over to FeedReader, partly so I can track stats and partly so I can annoy people by experimenting with ads. For no good reason the feeds suddenly stopped showing full articles; I think I’ve fixed it, but it might not be sorted immediately in your chosen RSS reader. Sorry. It’ll work properly soon.