Very interesting article. It also illustrates how dangerous unit conversions are especially combined with thousands separators: 20000km (GNSS satellite altitude) is NOT 12.4 miles.
Does anyone know if it would be feasible nowadays to just use starlink (or other LEO satellites) as a GNSS constellation? Even without precise onboard-clocks, would it not be possible to just bounce clock signals from earth as long as latency is known?