Default for now

You may have noticed a theme change around here. Basically it’s because the theme I was using (and which I still do like very much) didn’t support some recent wordpress features. I’ve temporarily gone back to the WP default theme until I have time to figure out what actually to do.