> And this isn't just hypothetical or whatever.

I always find it fascinating to think that this manifests in GPS that everyone casually uses: the timings have to account for the fact that time on the constellation’s satellites passes a little bit faster than on earth and corrected to get accurate positioning on earth.