Nice explanation, thank you. I hope this will surface in oss libs soon.
> the Galileo satellites themselves provide properly equipped receivers (not your phone) with near-realtime updates that can be used to achieve very good accuracy.
I have wondered about that. What stops a mobile phone from benefiting from that and RTK?