Planned maintenance: Stackage server reboot 18 May 2026

I will reboot the Stackage server around 05:00 UTC on 18 May 2026 (next Monday). Assuming all goes well, you can expect a momentary blip in uptime for stackage.org and casa.stackage.org.

If things do not go well, you can expect a longer delay. In that case I will note it here.