I’m suddenly having trouble with the machine that hosts this site (random crashes, hardware disappearing), so there may be some surprise downtime over the next few days until a replacement motherboard arrives…