We’ve been having problems with our server today. As you may have noticed, everything slowed down here for a while. Then it quit entirely.
We are (mostly) back up and running now. But server issues have consumed a lot of my time since early afternoon, so posting has been light, and will continue to be for a while longer.