Pretty cool. Would be nice to have the equation system as well in a recap, and the math not collapsed by default. Also had to look up other resources to understad that time correction refers to correcting a relatively short window of time, as it was not clear that receiver clock is actually accurate enough for short periods (milliseconds) to treat as affine.

So the trick, as always, boils down to engineering approximations, haha.