(This comment was originally posted to https://news.ycombinator.com/item?id=48414479, where the article was https://www.404media.co/the-u-s-military-quietly-turned-gps-.... We've since merged the threads.)