A fantastic achievement, and a fascinating article.
I wish I could say the same about Monday evening's The Sky at Night on the same topic.
For some reason they repeatedly called Pluto's moon Sharon. It's news to me that the Lord of the Underworld had an Essex girl rowing the boat across the Styx. Even though they're astronomers, they surely can't be unaware of the mythical origins of the names. "Charon" starts with the Greek letter chi, which I've always assumed to be a slightly aspirated "k" sound. It's not as if there isn't a major world religion that's spelt with chi.
I have a vested interest: like many other people in the world, my given name starts with this phoneme. Am I going to have to call myself "Shris" in future?
Another couple of points. Why do TV presenters think the best way to show a picture on my TV screen is to show me their sodding tablet? If they can get the picture on the tablet, they can show it full-screen on the TV. And why does The Sky at Night have to be presented by irritating hyperactive nitwits? Doubtless highly-qualified nitwits, but the point remains.