Det er viktig å merke seg at dette er forskjellig fra oppdagelsen av dvergplaneten Pluto, som var i 1930 likeså! Det er en morsom tilfeldighet.