[C. Gray, A. Viets]

The primary and redundant calibration pipelines were restarted around GPS time 1257408393.  The purpose of the restart was to reduce the latency, which had climbed up to 15-20 seconds in the past several days.  In the mean time, the latency now looks normal, around 3 seconds.  The cause of the original problem is still uncertain.