Well, being the nerd that I am (not!), I accidentally deleted the entire contents of my blog. Oh well, since I hadn’t posted in months it’s no great loss. I’ll get around to customizing this theme a bit and then I’ll post some stuff so all 3 people who follow this can see it.