Keurig Dr Pepper to acquire JDE Peet's and subsequenty separate | Hacker News Reader