If you follow the thread, there’s a link to https://agupubs.onlinelibrary.wiley.com/doi/full/10.1029/201... which contains this introduction:

======== It is widely recognized that rocket launches can be an anthropogenic source to trigger traveling ionospheric disturbances (TIDs) by generating acoustic-gravity waves (Afraimovich et al., 2002; Arendt, 1971; Bowling et al., 2013; Calais & Minster, 1996; Chou et al., 2018; Ding et al., 2014; Kakinami et al., 2013; Li et al., 1994; Lin et al., 2014; Lin, Chen, et al., 2017; Lin, Shen, et al., 2017; Noble, 1990). The rocket-induced long-distance propagating TIDs associated with shock/ducted gravity waves and internal gravity waves were observed by using Arecibo incoherent scatter radar (Noble, 1990) and ground-based Global Positioning System total electron content (TEC) observations (Calais & Minster, 1996). Lin, Shen, et al. (2017) first reported the rocket-induced shock waves and concentric TIDs (CTIDs) subsequently using Global Positioning System TEC over California-Pacific region. They suggested that the CTIDs are the manifestation of concentric gravity waves that were originated from the mesopause region. ====

The effect seems to be proven quite a while ago. Using GPS receivers to make that widely accessible seems to be new, but I honestly doubt that military intelligence would rely on that - I’m confident they have more direct methods to detect launches such as (radar) satellites.