differential-gps public under global-positioning-system 1, gnss-augmentation 3 List Picture As a command Nothing is filed under differential-gps.