[Cryptech Core] boring administrivia

[Randy Bush]

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

i show a call at noon pdt monday.  that it 19:00 z.

randy