The web site is back up, hopefully with no errors. I've had to upgrade it to a later version of the Content Management System that runs the whole thing. For the technically minded, it's all running under PHP7 now, instead of the previous PHP5.6. Apologies for the interruption, which was caused by the hosting company pulling the rug from under my feet by dropping all support for PHP5.6.

I hope nobody was too inconvenienced by the hiatus: the good thing is that with Covid-19, it might have been the best time to have a website crash :0)

A feature change: The automated logout is longer active, so you'll stay logged in unless you actively log out.