Some of you have noticed intermittent unavailability of this blog with a 502 error message. My hosting service, which is currently running the domain name server for the site, says the problem is with their name server, and is unlikely to be fixed in the near future. They recommend switching to another name server. So that’s what I’m going to do. While the new information propagates, this site may be out of service. All that should be all fixed in 72 hours. The interruption in service should not be as great as usual since the information in the new name server will — unless I make a mistake — be the same as the information in the old name server.
I thank you for your patience.
Added 21:00 PDT 6/22. Changes made about 8 hours ago; should be propagating now.