Comment by dmk

The fact that they deliberately manufacture the satellite clocks to tick at the wrong frequency on the ground (10.22999999543 MHz instead of 10.23 MHz) so that relativity makes them tick correctly in orbit is one of my favorite engineering details in any system.