My hosting provider had some power failure at his location. As a result of this, the server was down for about 35! hours. My apologies to all readers. I’m planning to move to another hosting provider soon. I expect this change of servers to pass well but the possibility of connection problems might be anyway.