Posting this manually because the bot didn't do it today. No idea why. Nothing in the logs, they just jump from Connections at 2pm to Circuits at 4pm, without the usual Crossherd at 3pm.

Hopefully it was just a one-off.