As you now have noticed, I did change themes. The old place needed a coat of paint anyhow. I had been using that other theme for a few years and it was getting a little stale. This new one is a nice, and it does not bork out the server! (I hope!)
We’ll see what happens with this.