Change to theme
Dunno what happened, but I think my old “theme” (in other words, what makes the site look the way it does) just broke - so I’ve temporarily replaced it with the default wordpress theme, in the hope of making the whole thing better when I have some time. (I have been wanting for ages to integrate my blog and wiki better, add a set of personal pages, and just generally improve this website to make it more useful, so perhaps this will give me the motivation I need.) But I also need to find that time, which i don’t have now - as I’m running out the door after I add my next post, which is coming right up…