Outage

The web site was down this morning, due to my ISP altering stuff without warning - it's now back OK, but expect disruption next week. Sorry about that... (for the technically minded, they changed the site to PHP7, which just doesn't work with the site as is).