Well, I just upgraded WordPress, because there were some supposedly important security fixes, but it seems that it is incompatible with the Theme I was using.  And the official repository of WordPress Themes seems to be broken (most of the screen captures are just black), so for now, I’ll have to use the default.  I’ll see if I can find a better looking Theme soon.