So I just upgraded WordPress; my webhost has a neat one-click solution for that. Unfortunately, I have almost no memory of how I set up WordPress to look the way it did; and no desire to muck around with whenever I upgrade. So I’ve picked a theme that’s somewhat similar to what I had before, and that’s what I’m going to use.