My thanks to those who sent notes of concern that the web site was down for a while this morning.
I have now put more coins in the meter...
Seriously, the fault was with my hosting service: usually it goes down for a minute or two at most. This time was a little longer.
I apologise for the inconvenience.