1. 2023-11-21 [3] GPSD PPS Jitter gpsd-users Gary E. Miller 2. 2023-11-19 [1] =?UTF-8?B?4pyYTlJJUHYyL0hUVFAxLjIvQ2h1bmtpbmc=?= gpsd-users Gary E. Miller 3. 2023-11-17 [7] Assisted GPS UBlox7 gpsd-users Gary E. Miller