Site down

In the course of updating this site after several years, I’ve managed to break it. I will try to repair, but the site may have to be recreated from scratch so it may take some time.