Comment by digdigdag

My local GPS + PPS based NTP server finally pays off.