NIST was 5 μs off UTC after last week's power cut | Jeff Geerling