@95c83441 @2d6fed24 In doing public outreach about astronomy years ago I used to point out that GPS has to take General Relativity into account. GR isn't just some entirely abstract irrelevant idea.