From the detector/source (41 points, 4 days ago) https://news.ycombinator.com/item?id=50266046

Interesting, congrats to the team! I thought there were ~30 dwarf planets -- TIL there's only 5.