Interesting article. GPS time even incorporates leap seconds to account for the Earth’s slowing rotation.
I even believe GPS factors in general relativity to compensate for time dilation.