[Cryptech Core] boring administrivia

[Rob Austein]

So, if Leif is done facepalming: are we on for 19:00Z or 20:00Z?

I can do either (this week, anyway) but would be nice to know which.