The impact and resolution of the GPS week number rollover of April 2019 [pdf] | Not Hacker News!