A nitpick that doesn't detract from your main point: the relativistic corrections for GPS are applied on the satellites with a slight change in how fast their clocks run, so that they appear to run at the correct rate when seen from the ground. The receivers don't have to know about it.