Ten new planets join the known worlds today, bringing total exoplanets to 5,445 | Hacker News Reader