Android COVID-19 Exposure Notification API [pdf] | Hacker News Reader