@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. 

 @9983d143 @95c83441 I meant to mention that on the post!