[zokier]

from that link

> Moreover, the clocks on satellites don’t have to be explicitly slowed down to fix the cumulative relativistic speed-up of time. As part of their broadcasted message a satellite emits three coefficients that allow the receiver to correct for any offset or speed change of that satellite’s clock.

My understanding is that GPS satellites clocks are tuned to tick slow exactly to account for relativity.

For example this (https://www.nist.gov/publications/global-positioning-system-...) paper explicitly states:

> First, each GPS space vehicle (SV) clock is offset from its nominal rate by about -4.45x10^-10 (= -38 microseconds per day) to allow for the relativistic offsets between the differences between the SV and the ground. Of this -38 microseconds per day, about -45 are due to the gravitational potential difference between the SV at its mean distance and the earth's surface, and +7 to the mean SV speed, which is about 3.87 km/sec. To this mean correction, each receiver must add a term due to the eccentricity of the GPS orbit.