October 2026. Server Downtime

Loss of the server from 22-29 Oct was due to updates and checks needed in response to the discovered critical PHP vulnerability. Normal service – with some server improvements – has now been resumed.